Repository logo
  • English
  • Italiano
  • Log In
    Have you forgotten your password?
Repository logo
Repository logo
  • Archive
  • Series/Journals
  • EUT
  • Events
  • Statistics
  • English
  • Italiano
  • Log In
    Have you forgotten your password?
  1. Home
  2. EUT Edizioni Università di Trieste
  3. Periodici
  4. APhEx
  5. 14 APhEx num 14, anno 2016
  6. Gerhard Gentzen
 
  • Details
  • Metrics
Options

Gerhard Gentzen

Poggiolesi, Francesca
2016
Loading...
Thumbnail Image
ISSN
2036-9972
http://hdl.handle.net/10077/30126
  • Article

Abstract
Gerhard Gentzen (1909-1945) is one of the most illustrious mathematical logicians and one of the great figures of the twentieth century. He is the father of the natural deduction calculi and sequent calculi and, thanks to his results, he has succeeded in surmounting (at least partially) the famous goedelian limitative results. This profile aims to describe and illustrate, in the clearest and simplest way, some of the most important Gentzen's contributions, dedicating a particular attention to their philosophical significance.
Journal
APhEx 
Subjects
  • Consistency

  • Natural deduction cal...

  • Sequent calculus

Publisher
EUT Edizioni Università di Trieste
Source
Francesca Poggiolesi, "Gerhard Gentzen", in "APhEx 14", 2016, pp. 22
Languages
it
Licence
http://creativecommons.org/licenses/by-nc-nd/4.0/
File(s)
Loading...
Thumbnail Image
Download
Name

APhEx_14_2016_Poggiolesi.pdf

Format

Adobe PDF

Size

393.07 KB

Indexed by

 Info

Open Access Policy

Share/Save

 Contacts

EUT Edizioni Università di Trieste

OpenstarTs

 Link

Wiki OpenAcces

Archivio Ricerca ArTS

Built with DSpace-CRIS software - Extension maintained and optimized by 4Science

  • Cookie settings
  • Privacy policy
  • End User Agreement
  • Send Feedback