|
| << 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 5 van 8 gevonden artikelen
| Titel: |
Some Current Problems in Metamathematics |
| Auteur: |
Tarski, Alfred Tarski, Jan Wolenski, Jan |
| Verschenen in: |
History and philosophy of logic |
| Paginering: | Jaargang 16 (1995) nr. 2 pagina's 159-168 |
| Jaar: |
1995 |
| Inhoud: |
In this article the author first described the developments which brought to focus the importance of consistency proofs for mathematics, and which led Hilbert to promote the science of metamathemat-ics. Further comments and remarks concern the (partly analogous) beginnings of the work on the decision problem, Godel's theorems and related matters, and general metamathematics. An appendix summarizes a text by the author on completeness and categoricity |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 5 van 8 gevonden artikelen
| << vorige | volgende >> |