Formalismus - Versionsgeschichte

Kowa am 20. Mai 2019 um 12:02 Uhr

2019-05-20T12:02:35Z

← Nächstältere Version		Version vom 20. Mai 2019, 12:02 Uhr
Zeile 31:		Zeile 31:

	[[Kategorie:Glossar]]		[[Kategorie:Glossar]]
	[[Kategorie:~~Mathematik]]~~		[[Kategorie:Logik]]
	~~[[Kategorie:Allgemeinwissenschaften~~]]
	[[en:GlossaryWiki:Formalism]]		[[en:GlossaryWiki:Formalism]]

Kowa am 16. Mai 2019 um 15:41 Uhr

2019-05-16T15:41:36Z

← Nächstältere Version		Version vom 16. Mai 2019, 15:41 Uhr
Zeile 25:		Zeile 25:
	<ol start="1">		<ol start="1">
	</ol>		</ol>

			==Siehe auch==

			* [[Formalisierung]]

	[[Kategorie:Glossar]]		[[Kategorie:Glossar]]

Kowa: /* Siehe auch */

2019-05-16T15:40:52Z

Siehe auch

← Nächstältere Version		Version vom 16. Mai 2019, 15:40 Uhr
Zeile 25:		Zeile 25:
	<ol start="1">		<ol start="1">
	</ol>		</ol>

	~~==Siehe auch==~~

	[[Kategorie:Glossar]]		[[Kategorie:Glossar]]

Kowa am 2. August 2014 um 17:06 Uhr

2014-08-02T17:06:14Z

← Nächstältere Version		Version vom 2. August 2014, 17:06 Uhr
Zeile 18:		Zeile 18:
	Laut Brockhaus<ref name="Brockhaus"/> wird auch das von [[David Hilbert]] seit 1917 vertretene Forschungsprogramm		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]],		[[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 widerspruchsfreien Formalismus zum Ziel hatte, gescheitert ist.		das die Überführung der Mathematik in einen vollständigen, widerspruchsfreien Formalismus zum Ziel hatte, gescheitert ist.

	==Quellen==		==Quellen==

Kowa: /* Definition (Brockhaus{{Quelle|Brockhaus (1988 COT-DR)}}) */

2014-08-02T17:03:54Z

Definition (Brockhaus{{Quelle|Brockhaus (1988 COT-DR)}})

← Nächstältere Version		Version vom 2. August 2014, 17:03 Uhr
Zeile 9:		Zeile 9:
	==Definition (Brockhaus<ref name="Brockhaus">{{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.''',

	5) 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

Kowa am 2. August 2014 um 17:00 Uhr

2014-08-02T17:00:27Z

← Nächstältere Version		Version vom 2. August 2014, 17:00 Uhr
Zeile 7:		Zeile 7:
	}}		}}

	==Definition (Brockhaus<ref>{{Quelle\|Brockhaus (1988 COT-DR)}}</ref>)==		==Definition (Brockhaus<ref name="Brockhaus">{{Quelle\|Brockhaus (1988 COT-DR)}}</ref>)==

	...		...
Zeile 15:		Zeile 15:
	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 widerspruchsfreien Formalismus zum Ziel hatte, gescheitert ist.

	==Quellen==		==Quellen==

Kowa: /* Definition (Brockhaus{{Quelle|Brockhaus (1988 COT-DR)}}) */

2014-08-02T15:22:51Z

Definition (Brockhaus{{Quelle|Brockhaus (1988 COT-DR)}})

← Nächstältere Version		Version vom 2. August 2014, 15:22 Uhr
Zeile 14:		Zeile 14:
	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]] (...).

	==Quellen==		==Quellen==

Kowa: Die Seite wurde neu angelegt: „ {{Qualität |correctness = 3 |extent = 1 |numberOfReferences = 3 |qualityOfReferences = 5 |conformance = 5 }} ==Definition (Bro…“

2014-08-02T15:21:52Z

Die Seite wurde neu angelegt: „ {{Qualität |correctness = 3 |extent = 1 |numberOfReferences = 3 |qualityOfReferences = 5 |conformance = 5 }} ==Definition (Bro…“

Neue Seite

{{Qualität
|correctness = 3
|extent = 1
|numberOfReferences = 3
|qualityOfReferences = 5
|conformance = 5
}}

==Definition (Brockhaus<ref>{{Quelle|Brockhaus (1988 COT-DR)}}</ref>)==

...

5) 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 [[Aussagenlogik|Aussagen-]] und [[Prädikantenlogik]] ...

==Quellen==

<references/>
<ol start="1">
</ol>

==Siehe auch==

[[Kategorie:Glossar]]
[[Kategorie:Mathematik]]
[[Kategorie:Allgemeinwissenschaften]]
[[en:GlossaryWiki:Formalism]]