|
| << 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 4 van 56 gevonden artikelen
| Titel: |
Beyond first-order logic: the historical interplay between mathematical logic and axiomatic set theory |
| Auteur: |
Moore, Gregory H. |
| Verschenen in: |
History and philosophy of logic |
| Paginering: | Jaargang 1 (1980) nr. 1-2 pagina's 95-137 |
| Jaar: |
1980 |
| Inhoud: |
What has been the historical relationship between set theory and logic? On the one hand, Zermelo and other mathematicians developed set theory as a Hilbert-style axiomatic system. On the other hand, set theory influenced logic by suggesting to Schroder, Lowenheim and others the use of infinitely long expressions. The question of which logic was appropriate for set theory — first-order logic, second-order logic, or an infinitary logic — culminated in a vigorous exchange between Zermelo and Godel around 1930. |
| Uitgever: |
Taylor & Francis |
| Bronbestand: |
Elektronische Wetenschappelijke Tijdschriften |
Details van artikel 4 van 56 gevonden artikelen
| << vorige | volgende >> |