Freges Theorem

Freges Theorem ist eine der Grundlagen des Neo-Logizismus.

Gottlob Frege bewies 1884 in Die Grundlagen der Arithmetik informal, dass Peano-Axiome der Arithmetik aus Humes Prinzip mittels einer Logik zweiter Stufe abgeleitet werden können. Ein formaler Beweis folgte in Grundgesetze der Arithmetik.

Crispin Wright entdeckte das Theorem in den 1980er Jahren wieder und begründete damit den Neo-Logizismus.

Weblinks

Edward N. Zalta: Frege's Theorem and Foundations for Arithmetic. In: Edward N. Zalta (Hrsg.): Stanford Encyclopedia of Philosophy.

This article is issued from Wikipedia. The text is licensed under Creative Commons - Attribution - Sharealike. Additional terms may apply for the media files.