Kurt Gödel citations célèbres

Je ne crois pas à la science empirique. Je ne crois qu'à la vérité a priori.

Plus je pense à la langue, plus cela m'étonne que les gens se comprennent jamais.

Soit les mathématiques sont trop importantes pour l'esprit humain, soit l'esprit humain est plus qu'une machine.

Je ne crois pas aux sciences naturelles.

Je suis convaincu de l'au-delà, indépendamment de la théologie. Si le monde est rationnellement construit, il doit y avoir une vie après la mort

Le sens du monde est la séparation du souhait et du fait.

Mais chaque erreur est due à des facteurs extérieurs (tels que l'émotion et l'éducation); la raison elle-même ne se trompe pas.

La formation dans le temps géologique du corps humain par les lois de la physique( ou toute autre loi de nature similaire), à partir d'une distribution aléatoire des particules élémentaires et du champ est aussi improbable que la séparation de l'atmosphère en ses composants. La complexité des êtres vivants doit être présente dans la matière [dont ils dérivent] ou dans les lois [régissant leur formation].

Quatre-vingt-dix pour cent des [philosophes contemporains] voient leur tâche principale comme celle de chasser la religion de la tête des hommes. ... Nous sommes loin d'être en mesure de fournir une base scientifique à la vision théologique du monde.

J'aime l'Islam, c'est une idée cohérente de la religion et ouverte d'esprit.

Vers la fin de sa vie, Gödel craignait d'être empoisonné et il est mort de faim. Son théorème est l'un des résultats les plus extraordinaires en mathématiques, ou dans n'importe quel domaine intellectuel de ce siècle. Si jamais une instabilité mentale potentielle est détectable par analyse génétique, un embryon de quelqu'un avec les dons de Kurt Gödel pourrait être avorté.

...une preuve de cohérence pour [tout] système ... ne peut être réalisée qu'au moyen de modes d'inférence qui ne sont pas formalisés dans le système ... lui-même.

Dans tout système axiomatique non trivial, il y a de vrais théorèmes qui ne peuvent pas être prouvés.

Le développement des mathématiques vers une plus grande précision a conduit, comme on le sait, à la formalisation de vastes étendues de celles-ci, de sorte que l'on peut prouver n'importe quel théorème en n'utilisant que quelques règles mécaniques... On pourrait donc supposer que ces axiomes et règles d'inférence sont suffisants pour décider de toute question mathématique qui peut être formellement exprimée dans ces systèmes. On montrera ci-dessous que ce n'est pas le cas, qu'au contraire il y a dans les deux systèmes mentionnés des problèmes relativement simples dans la théorie des entiers qui ne peuvent pas être décidés sur la base des axiomes.

Dit au physicien John Bahcall. Je ne crois pas aux sciences naturelles.