|
| << vorige | volgende >> |
Tijdschrift beschrijving
Alle jaargangen van het bijbehorende tijdschrift
Alle afleveringen van het bijbehorende jaargang
Alle artikelen van de bijbehorende aflevering
Details van artikel 28 van 39 gevonden artikelen
| Titel: |
Proving as a Computable Procedure |
| Auteur: |
Cristian S. Calude Sergiu Rudeanu |
| Verschenen in: |
Fundamenta informaticae |
| Paginering: | Jaargang 64 (2005) nr. 1-4 pagina's 43-52 |
| Jaar: |
2005-06-27 |
| Inhoud: |
Gödel's incompleteness theorem states that every finitely-presented, consistent, sound theory which is strong enough to include arithmetic is incomplete. In this paper we present elementary proofs for three axiomatic variants of Gödel's incompleteness theorem and we use them (a) to illustrate the idea that there is more than "complete vs. incomplete" there are degrees of incompleteness, and (b) to discuss the implications of incompleteness and computer-assisted proofs for Hilbert's Programme. We argue that the impossibility of carrying out Hilbert's Programme is a thesis and has a similar status to the Church-Turing thesis. |
| Uitgever: |
IOS Press |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 28 van 39 gevonden artikelen
| << vorige | volgende >> |