| Property |
Value |
| dbo:abstract
|
- Die mathematische Logik (ältere Bezeichnung: Logistik, auch symbolische Logik, Metamathematik) ist ein Teilgebiet der Mathematik und der formalen Logik. Oft wird sie wiederum in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Infolgedessen wurde sie auch unter dem Begriff Metamathematik bekannt. Ein Aspekt der Untersuchungen der mathematischen Logik ist das Studium der Ausdrucksstärke von formalen Logiken und formalen Beweissystemen. Eine Möglichkeit die Komplexizität solcher Systeme zu messen, besteht darin, festzustellen was damit bewiesen oder definiert werden kann. Früher wurde die mathematische Logik auch symbolische Logik (als Gegensatz zur philosophischen Logik) genannt, wobei dieser Name mittlerweile nur noch für gewisse Aspekte der Beweistheorie verwendet wird. (de)
- Die mathematische Logik (ältere Bezeichnung: Logistik, auch symbolische Logik, Metamathematik) ist ein Teilgebiet der Mathematik und der formalen Logik. Oft wird sie wiederum in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Infolgedessen wurde sie auch unter dem Begriff Metamathematik bekannt. Ein Aspekt der Untersuchungen der mathematischen Logik ist das Studium der Ausdrucksstärke von formalen Logiken und formalen Beweissystemen. Eine Möglichkeit die Komplexizität solcher Systeme zu messen, besteht darin, festzustellen was damit bewiesen oder definiert werden kann. Früher wurde die mathematische Logik auch symbolische Logik (als Gegensatz zur philosophischen Logik) genannt, wobei dieser Name mittlerweile nur noch für gewisse Aspekte der Beweistheorie verwendet wird. (de)
|
| dbo:author
| |
| dbo:isbn
| |
| dbo:originalTitle
|
- Einführung in die Mathematische Logik (de)
- Einführung in die Mathematische Logik (de)
|
| dbo:wikiPageExternalLink
| |
| dbo:wikiPageID
| |
| dbo:wikiPageRevisionID
| |
| prop-de:auflage
| |
| prop-de:jahr
| |
| prop-de:online
| |
| prop-de:ort
| |
| dc:publisher
| |
| dct:subject
| |
| rdf:type
| |
| rdfs:comment
|
- Die mathematische Logik (ältere Bezeichnung: Logistik, auch symbolische Logik, Metamathematik) ist ein Teilgebiet der Mathematik und der formalen Logik. Oft wird sie wiederum in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Infolgedessen wurde sie auch unter dem Begriff Metamathematik bekannt. (de)
- Die mathematische Logik (ältere Bezeichnung: Logistik, auch symbolische Logik, Metamathematik) ist ein Teilgebiet der Mathematik und der formalen Logik. Oft wird sie wiederum in die Teilgebiete Modelltheorie, Beweistheorie, Mengenlehre und Rekursionstheorie aufgeteilt. Forschung im Bereich der mathematischen Logik hat zum Studium der Grundlagen der Mathematik beigetragen und wurde auch durch dieses motiviert. Infolgedessen wurde sie auch unter dem Begriff Metamathematik bekannt. (de)
|
| rdfs:label
|
- Mathematische Logik (de)
- Mathematische Logik (de)
|
| owl:sameAs
| |
| prov:wasDerivedFrom
| |
| foaf:isPrimaryTopicOf
| |
| is dbo:wikiPageRedirects
of | |
| is foaf:primaryTopic
of | |
