X-2025-01: Heyting, Arend (2025) La Conception Intuitionniste de la Logique. [Pre-print]
![]() |
Text
Heyting-LACONCEPTIONINTUITIONNISTE-1956.pdf - Published Version Download (922kB) |
![]() |
Other (English translation)
Translation_of_Heyting_1956 EnglishOnly.pdf - Published Version Download (63kB) |
Item Type: | Pre-print |
---|---|
Report Nr: | X-2025-01 |
Series Name: | Technical Notes (X) Series |
Year: | 2025 |
Additional Information: | In 1956, the same year that A. Heyting published his well-known Intuitionism, an introduction, he also wrote an article in French for the Journal Les études philosphiques. It was written for a philosophical audience and stressed much more than in his other writings his view of intuitionistic logic as the logic of knowing. This report contains both the original article and a translation into English. This translation was drafted by Claude-3.5-Sonnet-200k and carefully further edited by Philippe Balbiani, Hans van Ditmarsch, Dick de Jongh and Yanjing Wang. The editors thank the journal and the publisher for their approval and for their permission to put this version online. |
Subjects: | Logic Mathematics |
Depositing User: | Dr Marco Vervoort |
Date Deposited: | 24 Apr 2025 13:32 |
Last Modified: | 24 Apr 2025 13:32 |
URI: | https://eprints.illc.uva.nl/id/eprint/2358 |
Actions (login required)
![]() |
View Item |