@misc{Lexikon der Argumente,
title = {Quotation from: Lexikon der Argumente – Begriffe - Ed. Martin Schulz, 19 Mar 2024},
author = {Heyting,Arend},
subject = {Formalismus},
note = {I 62
Formalismus/Carnap/Heyting: Es bleibt immer der Zweifel, welche Schlussweisen korrekt sind, und welche nicht. (Carnap, 1934(1), S. 44; 1937(2), S. 51).
I 66
„Letter“/Schwärzung des Papiers/Formalismus/Heyting: These des „Pragmatismus“ der Mathematik: Mathematik ist eine ganz einfache Sache: Ich nehme ein paar Zeichen und gebe einige Regeln, wie sie kombiniert werden. Warum sollte ich sie beweisen? Sie sind im Hinblick auf Anwendungen gemacht.
>Schwärzung des Papiers, >Formalismus, >Beweise, >Beweisbarkeit, >VsFormalismus, vgl. >Fundierung.
1. R. Carnap, Logische Syntax der Sprache, Wien 1934, S. 44.
2. R. Carnap, Testability and Meaning, in: Philosophy of Science 4, 1937, S. 51.},
note = {Arend Heyting
Heyting I
Arend Heyting
"Disputation", in: Intuitionism, Amsterdam 1956
German Edition:
Streitgespräch
In
Kursbuch 8/1967, H. M. Enzensberger, Frankfurt/M. 1967
},
file = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=937230}
url = {http://philosophie-wissenschaft-kontroversen.de/details.php?id=937230}
}