• IF

  • Activities


Lecture Series AROUND GÖDEL’S THEOREMS - Rafał Gruszczyński

From: 2012-12-04 To:2012-12-07

Go back
Group MLAG (2012 - 2015) now integrated in:
  • Thematic Line

    Modern & Contemporary Philosophy
  • Research Group

    Mind, Language & Action
  • Lecture Series

    Rafał Gruszczyński
    Nicolaus Copernicus University, Department of Logic – Toruń, Poland

    The popular formulation of the first Gödel's theorem says that there are true mathematical sentences that cannot be proved. Three questions immediately arise: what does `true' mean?, what does 'mathematical' mean and, last but not least, what does it mean `to prove something'. The purpose is to answer these questions and explain the first theorem of Godel's to general audience. The famous second theorem, according to which no strong enough arithmetical system can prove its own consistency, will also be an object of brief analysis.

    December 4th –1st Lecture
    The road to Hilbert’s program
    Torre B, Departamento de Filosofia - 17h30

    The first lecture will concern the emergence of modern logic in history of science. We will try to show how the notion of formal theory emerged and why it turned out to be so important for logic, mathematics and their philosophy. We will explain for what reasons Hilbert's program emerged and why it was important.
    December 7th – 2nd Lecture
    Gödel’s theorems
    Torre B, Gabinete 118 - 18h00
    The second lecture will be devoted to presenting some abstract Gödel's theorems. We will show to what kind of systems the theorems apply and what are their consequences for logic, mathematics and philosophy. We will explain why Gödel's theorems turned out to be a tombstone for Hilbert's program. We will also clarify the distinction between Gödel's completeness theorem for first-order logic and his incompleteness theorems for arithmetic.
    Faculdade de Letras da Universidade do Porto


    Cartaz de divulgação


    The Bounds of Judgement / BJ (PTDC/FIL-FIL/109882/2009)

    Instituto de Filosofia (UI&D 502)
    Faculdade de Letras da Universidade do Porto
    Via Panorâmica s/n
    4150-564 Porto
    Tel. 22 607 71 80
    E-mail: ifilosofia@letras.up.pt
    Financiamento, avaliação e auditoria do Instituto de Filosofia: FCT, COMPETE, QREN e UE

    Go back