Skip to main content
Przejdź do strony domowej Komisji Europejskiej (odnośnik otworzy się w nowym oknie)
polski polski
CORDIS - Wyniki badań wspieranych przez UE
CORDIS

The Formal Turn - The Emergence of Formalism in Twentieth-Century Thought

CORDIS oferuje możliwość skorzystania z odnośników do publicznie dostępnych publikacji i rezultatów projektów realizowanych w ramach programów ramowych HORYZONT.

Odnośniki do rezultatów i publikacji związanych z poszczególnymi projektami 7PR, a także odnośniki do niektórych konkretnych kategorii wyników, takich jak zbiory danych i oprogramowanie, są dynamicznie pobierane z systemu OpenAIRE .

Rezultaty

Publikacje

Carnap on the Formality of Logic and Mathematics (odnośnik otworzy się w nowym oknie)

Autorzy: Georg Schiemer
Opublikowane w: Cambridge University Press, 2024, ISBN 978-1-009-09820-5
Wydawca: Cambridge University Press
DOI: 10.1017/9781009099080.013

Introduction: Symbolic Logic and Scientific Philosophy (odnośnik otworzy się w nowym oknie)

Autorzy: Paola Cantù, Georg Schiemer
Opublikowane w: Vienna Circle Institute Yearbook, Logic, Epistemology, and Scientific Theories - From Peano to the Vienna Circle, 2024
Wydawca: Springer Nature Switzerland
DOI: 10.1007/978-3-031-42190-7_1

Peacock's Principle of Permanence and Hankel's Reception (odnośnik otworzy się w nowym oknie)

Autorzy: Anna Bellomo
Opublikowane w: HOPOS: The Journal of the International Society for the History of Philosophy of Science, 2025, ISSN 2152-5188
Wydawca: University of Chicago Press
DOI: 10.1086/734645

Hilbert’s Early Metatheory Revisited (odnośnik otworzy się w nowym oknie)

Autorzy: Eduardo N. Giovannini, Georg Schiemer
Opublikowane w: Erkenntnis, 2025, ISSN 0165-0106
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/S10670-025-00959-Z

Hilbert’s problems, Kant, and decidability (odnośnik otworzy się w nowym oknie)

Autorzy: Moritz Bodner
Opublikowane w: Archive for History of Exact Sciences, Numer 79, 2025, ISSN 0003-9519
Wydawca: Springer Science and Business Media LLC
DOI: 10.1007/S00407-025-00350-Y

Structuralism and informal provability (odnośnik otworzy się w nowym oknie)

Autorzy: Georg Schiemer, John Wigglesworth
Opublikowane w: SPRINGER, 2023, ISSN 0039-7857
Wydawca: SPRINGER
DOI: 10.1007/s11229-023-04274-4

Wyszukiwanie danych OpenAIRE...

Podczas wyszukiwania danych OpenAIRE wystąpił błąd

Brak wyników

Moja broszura 0 0