Logiker

"Ich glaube nicht an Naturwissenschaft."

"Satz VI: Zu jeder ω-widerspruchsfreien rekursiven Klasse κ von FORMELN gibt es rekursive KLASSENZEICHEN r, so daß weder v Gen r noch Neg (v Gen r) zu Flg (κ) gehört (wobei v die FREIE VARIABLE aus r ist)."

"Satz XI: Sei κ eine beliebige rekursive widerspruchsfreie Klasse von FORMELN, dann gilt: Die SATZFORMEL, welche besagt, daß κ widerspruchsfrei ist, ist nicht κ-BEWEISBAR; insbesondere ist die Widerspruchsfreiheit von P in P unbeweisbar, vorausgesetzt, daß P widerspruchsfrei ist (im entgegengesetzten Fall ist natürlich jede Aussage beweisbar)."

"Der Beweis soll nicht nur von der Wahrheit des Bewiesenen überzeugen, sondern soll auch den Zusammenhang der Wahrheiten untereinander aufdecken. Darum hat schon Euklid Wahrheiten bewiesen, die keines Beweises bedürftig erscheinen, weil sie ohne dies einleuchten."

"Einem wissenschaftlichen Schriftsteller kann kaum etwas Unerwünschteres begegnen, als dass ihm nach Vollendung einer Arbeit eine der Grundlagen seines Baues erschüttert wird. In diese Lage wurde ich durch einen Brief des Herrn Bertrand Russell versetzt, als der Druck dieses Bandes sich seinem Ende näherte."

"Urteilen kann als Fortschreiten von einem Gedanken zu seinem Wahrheitswerte gefasst werden"

"Aberglaube bringt Unglück."