Formalismus: Unterschied zwischen den Versionen
aus GlossarWiki, der Glossar-Datenbank der Fachhochschule Augsburg
Kowa (Diskussion | Beiträge) |
Kowa (Diskussion | Beiträge) Keine Bearbeitungszusammenfassung |
||
| (5 dazwischenliegende Versionen desselben Benutzers werden nicht angezeigt) | |||
| Zeile 7: | Zeile 7: | ||
}} | }} | ||
==Definition (Brockhaus<ref>{{Quelle|Brockhaus (1988 COT-DR)}}</ref>)== | ==Definition (Brockhaus<ref name="Brockhaus">{{Quelle|Brockhaus (1988 COT-DR)}}</ref>)== | ||
In [[Logik]] und [[Mathematik]] bezeichnet man eine Theorie dann als '''F.''', | |||
wenn deren Sätze durch einen [[Kalkül]] (also insbesondere durch Absehen von | wenn deren Sätze durch einen [[Kalkül]] (also insbesondere durch Absehen von | ||
allen Bedeutungen) aus [[Axiomen]] gewonnen werden. Beispiele hierfür sind die kalkülisierten Fassungen | allen Bedeutungen) aus [[Axiomen]] gewonnen werden. Beispiele hierfür sind die kalkülisierten Fassungen | ||
der [[Aussagenlogik|Aussagen]]- und [[Prädikantenlogik]] (...). | der [[Aussagenlogik|Aussagen]]- und [[Prädikantenlogik]] (...). | ||
==Bemerkungen== | |||
Laut Brockhaus<ref name="Brockhaus"/> wird auch das von [[David Hilbert]] seit 1917 vertretene Forschungsprogramm | |||
[[Formalismus]] genannt. Seit den bahnbrechenden Beweisen von [[Kurt Gödel]] weiß man, dass dieses sogenannte [[Hilbert-Programm]], | |||
das die Überführung der Mathematik in einen vollständigen, widerspruchsfreien Formalismus zum Ziel hatte, gescheitert ist. | |||
==Quellen== | ==Quellen== | ||
| Zeile 23: | Zeile 27: | ||
==Siehe auch== | ==Siehe auch== | ||
* [[Formalisierung]] | |||
[[Kategorie:Glossar]] | [[Kategorie:Glossar]] | ||
[[Kategorie: | [[Kategorie:Logik]] | ||
[[en:GlossaryWiki:Formalism]] | [[en:GlossaryWiki:Formalism]] | ||
Aktuelle Version vom 20. Mai 2019, 14:02 Uhr
Dieser Artikel erfüllt die GlossarWiki-Qualitätsanforderungen nur teilweise:
| Korrektheit: 3 (zu größeren Teilen überprüft) |
Umfang: 1 (zu gering) |
Quellenangaben: 3 (wichtige Quellen vorhanden) |
Quellenarten: 5 (ausgezeichnet) |
Konformität: 5 (ausgezeichnet) |
Definition (Brockhaus[1])
In Logik und Mathematik bezeichnet man eine Theorie dann als F., wenn deren Sätze durch einen Kalkül (also insbesondere durch Absehen von allen Bedeutungen) aus Axiomen gewonnen werden. Beispiele hierfür sind die kalkülisierten Fassungen der Aussagen- und Prädikantenlogik (...).
Bemerkungen
Laut Brockhaus[1] wird auch das von David Hilbert seit 1917 vertretene Forschungsprogramm Formalismus genannt. Seit den bahnbrechenden Beweisen von Kurt Gödel weiß man, dass dieses sogenannte Hilbert-Programm, das die Überführung der Mathematik in einen vollständigen, widerspruchsfreien Formalismus zum Ziel hatte, gescheitert ist.
Quellen
- ↑ 1,0 1,1 Brockhaus (1988, COT-DR): Brockhaus-Enzyklopädie: Band 5, COT-DR; Auflage: 19; Verlag: F.A. Brockhaus GmbH; Adresse: Mannheim; ISBN: 3-7653-1105-7, 3-7653-1205-3; 1988; Quellengüte: 5 (Buch)
