@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} }