તેમના સંશોધન માટે આધાર કર્ટ Godel ના તારણો 1947 કરવામાં આવ્યું હતું.