Badania nad podstawami matematyki przyniosły w ostatnich dziesięcioleciach wyniki, które wydają mi się ciekawe nie tylko dla nich samych, lecz także z uwagi na wnioski, jakie płyną z nich w odniesieniu do tradycyjnych problemów filozoficznych dotyczących natury matematyki. Same wyniki są dość szeroko znane, mimo to jednak sądzę, że warto raz jeszcze przedstawić je w zarysie, zwłaszcza w obliczu faktu, że dzięki pracy szeregu matematyków zyskały one znacznie doskonalszą formę, niż miały pierwotnie. Największy postęp, mający decydujące znaczenie dla tych wyników, (...) stał się możliwy dzięki precyzyjnemu zdefiniowaniu pojęcia skończonej procedury. Definicję taką można uzyskać na różne sposoby, które w efekcie dają dokładnie to samo pojęcie. Najbardziej zadowalający sposób polega moim zdaniem na sprowadzeniu pojęcia skończonej procedury do pojęcia maszyny o skończonej liczbie części, co uczynił brytyjski matematyk Turing. Co do filozoficznych konsekwencji wspomnianych wyników, nie sądzę, by kiedykolwiek należycie je przedyskutowano, czy choćby zwrócono na nie uwagę. (shrink)