Introduction to metamathematics

Un manuel de logique écrit à l'intention des étudiants par un logicien de réputation internationale. Ce livre, d'une rare richesse intellectuelle et instrument de travail exceptionnel, est sans équivalent, même dans sa langue originale. Il est le fruit à la fois d'une longue expérience pédagogique et d'une connaissance de première main des sujets qui y sont exposés. L'auteur réussit à donner à sa pensée une expression accessible et rigoureuse, jouant de toutes les ressources d'une pédagogie très au point : démonstrations informelles, résultats généraux prouvés sur un cas typique traité in extenso, exemples développés jusqu'à l'extrême détail, exercices placés à la fin de chaque section, grâce auxquels le lecteur peut reconstituer les concepts abstraits et s'assurer qu'il sait les mettre en oeuvre. Les notes placées en bas de page, renvoyant les unes aux autres et à des parties antérieures de l'ouvrage, contribuent à resserrer la cohérence et à guider le lecteur. Elles contiennent en outre une profusion de remarques et d'informations historiques, critiques, bibliographiques d'un intérêt considérable.

Logique mathématique

Stephen Cole Kleene, né le 5 janvier 1909 à Hartford (Connecticut) et mort le 25 janvier 1994 à Madison (Wisconsin), est un mathématicien et logicien américain.

Je suis allé à Princeton depuis Amherst, où j'ai divisé mes intérêts entre les mathématiques et la philosophie.

Je pense qu'après l'église a obtenu son doctorat. Il a étudié en Europe, peut-être aux Pays-Bas, pendant un an ou deux.

Je suis sûr que Church a obtenu certaines de ses idées de ce voyage en Europe.

J'ai lu un ou deux autres livres qui m'ont donné une expérience en mathématiques autres que la logique.

Je pense que Veblen s'était intéressé à la logique.

J'ai eu une éducation aux arts libéraux au Amherst College où j'avais deux majors, mathématiques et philosophie.

Ce n'est qu'à ma deuxième année que j'ai pu travailler avec l'église.

Le travail dans le Wisconsin a été la première véritable offre d'un emploi académique dans une université que j'ai reçue.

J'ai eu quelques hésitations sur la philosophie parce que, si vous élaboriez une théorie philosophique, il était difficile de savoir si vous alliez être en mesure de le prouver ou si d'autres théories avaient une plus bonne affirmation sur la croyance.

À l'automne 1933-1934, j'étais dans ma ferme familiale dans le Maine.

Je suis allé à Princeton à l'automne 1930 en tant qu'instructeur à mi-temps.

Je ne pense pas que le poste soit souvent venu à Princeton pendant les années 30. Je ne me souviens pas l'avoir vu à Princeton.

Quand je suis arrivé à Princeton, j'ai tenu à assister au Philosophy Club et à écouter les conférences, mais je n'ai été impliqué dans aucune discussion dans ces clubs. Je suppose qu'après la première année, j'ai laissé tomber ça.

Et ce que j'ai appris dans le cours de l'église. Il nous a formés intensivement dans son nouveau système, qu'il venait de développer. Deux articles ont été présentés. Je pense que le deuxième article n'a été publié que bien après la fin du cours.

Ces trois années se terminent avec juin 1933. À cette époque, j'ai quitté Princeton, après avoir soumis mon doctorat. thèse.

Comme je l'ai dit, il y a eu ce mouvement pour essayer de réunir des philosophes et des mathématiciens dans une organisation où ils se parleraient. Une organisation n'était efficace que si vous aviez un journal. C'est à peu près tout ce que je sais.

Par exemple, les philosophes qui étaient intéressés par la logique étaient probablement plutôt logiques pour les mathématiciens. Mais l'ASL nous a réunis, afin que nous puissions nous parler et publier dans la même revue.

Ici, au Wisconsin, nous n'avons pas obtenu de cours de premier cycle en logique mathématique avant les années 60.

Eh bien, je pense que Barkley et moi étions les deux seuls à travailler avec l'église pour un doctorat.

https://fr.wikipedia.org/wiki/Stephen_Cole_Kleene

Ses oeuvres

Ses derniers livres