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. Etica & Politica / Ethics & Politics
  5. Etica & Politica / Ethics & Politics (2003) V/1
  6. The Implications of Gödel's Theorem
 
  • Details
  • Metrics
Options

The Implications of Gödel's Theorem

Lucas, John R.
2003
Loading...
Thumbnail Image
ISSN
1825-5167
http://hdl.handle.net/10077/5478
  • Article

Abstract
After a brief and informal explanation of the Gödel’s theorem as a version of the Epimenides’ paradox applied to Elementary Number Theory formulated in first-order logic, Lucas shows some of the most relevant consequences of this theorem, such as the impossibility to define truth in terms of provability and so the failure of Verificationist and Intuitionist arguments. He shows moreover how Gödel’s theorem proves that first-order arithmetic admits non-standard models, that Hilbert’s programme is untenable and that second-order logic is not mechanical. There are furthermore some more general consequences: the difference between being reasonable and following a rule and the possibility that one man’s insight differs from another’s without being wrong. Finally some consequences concerning moral and political philosophy can arise from Gödel’s theorem, because it suggests that – instead of some fundamental principle from which all else follows deductively – we can seek for different arguments in different situations.
Series
Etica & Politica / Ethics & Politics
V (2003) 1
Subjects
  • mechanism

  • Gödel, Kurt

Publisher
EUT Edizioni Università di Trieste
Source
J.R. Lucas, "The Implications of Gödel's Theorem", in: Etica & Politica / Ethics & Politics, V (2003) 1
Languages
en
File(s)
Loading...
Thumbnail Image
Download
Name

Lucas8_E&P_V_2003_1.pdf

Format

Adobe PDF

Size

47.37 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