Psychologie Lexikon der ArgumenteHome | |||
| |||
Formalisierung: Formalisierung ist der Prozess, bei dem ein Begriff oder eine Theorie mit Hilfe einer formalen Sprache präzise und eindeutig ausgedrückt wird. Formale Sprachen sind Sprachen mit einer wohldefinierten Syntax und Semantik, die eine strenge Argumentation und Analyse ermöglichen. Siehe auch formale Sprache, Formale Redeweise, Argumentation, Analyse, Logik, Logische Form, Syntax._____________Anmerkung: Die obigen Begriffscharakterisierungen verstehen sich weder als Definitionen noch als erschöpfende Problemdarstellungen. Sie sollen lediglich den Zugang zu den unten angefügten Quellen erleichtern. - Lexikon der Argumente. | |||
Autor | Begriff | Zusammenfassung/Zitate | Quellen |
---|---|---|---|
Stephen Wolfram über Formalisierung – Lexikon der Argumente
Brockman I 275 Formalisierung/Sprache/Wolfram: In den späten 1600ern beschäftigten sich Gottfried Leibniz, John Wilkins und andere mit dem, was sie philosophische Sprachen nannten - also vollständige, universelle, symbolische Darstellungen der Dinge in der Welt. Es ist interessant zu sehen, wie sich eine philosophische Sprache von heute von einer philosophischen Sprache der Mitte der 1600er Jahre unterscheiden würde. >G. W. Leibniz, >Formale Sprache, >Ideale Sprache, vgl. >Formale Redeweise, >Verstehen, >Logische Formeln, >Formeln. Es ist ein Maß für unseren Fortschritt. Zum Beispiel in der Mathematik: Whitehead und Russells Principia Mathematica(1) im Jahr 1910 war der größte Showoff. Es gab frühere Versuche von Gottlob Frege und Giuseppe Peano, die in ihrer Präsentation etwas bescheidener waren. >G. Frege, >B. Russell. WolframVsRussell/WolframVsFrege/WolframVsPeano/WolframVsLeibniz: Letztendlich lagen sie falsch in dem, von dem sie dachten, dass sie es formalisieren sollten: Sie dachten, sie sollten einen Prozess des mathematischen Beweises formalisieren, was sich aber nicht als das herausstellt, worin die meisten Menschen interessiert sind. >Beweise, >Beweisbarkeit, >Systeme, >Computersprachen, >Programmierung. 1. Whitehead, A.N. and Russel, B. (1910). Principia Mathematica. Cambridge: Cambridge University Press. Wolfram, Stephen (2015) „Artificial Intelligence and the Future of Civilization” (edited live interview), in: Brockman, John (ed.) 2019. Twenty-Five Ways of Looking at AI. New York: Penguin Press._____________ Zeichenerklärung: Römische Ziffern geben die Quelle an, arabische Ziffern die Seitenzahl. Die entsprechenden Titel sind rechts unter Metadaten angegeben. ((s)…): Kommentar des Einsenders. Übersetzungen: Lexikon der ArgumenteDer Hinweis [Begriff/Autor], [Autor1]Vs[Autor2] bzw. [Autor]Vs[Begriff] bzw. "Problem:"/"Lösung", "alt:"/"neu:" und "These:" ist eine Hinzufügung des Lexikons der Argumente. |
Wolfram, Stephen
Brockman I John Brockman Possible Minds: Twenty-Five Ways of Looking at AI New York 2019 |