About: Classical mathematics

Facets (new session)
Description
Metadata
Settings
- Rule:
- Inverse Functional Properties:
- "Same As":

About: Classical mathematics Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : el.dbpedia.org associated with source document(s)

In the foundations of mathematics, classical mathematics refers generally to the mainstream approach to mathematics, which is based on classical logic and ZFC set theory. It stands in contrast to other types of mathematics such as constructive mathematics or predicative mathematics. In practice, the most common non-classical systems are used in constructive mathematics.

Attributes	Values
rdfs:label	Classical mathematics (en)
rdfs:comment	In the foundations of mathematics, classical mathematics refers generally to the mainstream approach to mathematics, which is based on classical logic and ZFC set theory. It stands in contrast to other types of mathematics such as constructive mathematics or predicative mathematics. In practice, the most common non-classical systems are used in constructive mathematics. (en)
sameAs	Classical mathematics
dbp:wikiPageUsesTemplate	dbt:Citation_needed dbt:Mathlogic-stub
Subject	Mathematical logic
prov:wasDerivedFrom	http://en.wikipedia.org/wiki/Classical_mathematics?oldid=927767924&ns=0
Wikipage page ID	1178398 (xsd:integer)
page length (characters) of wiki page	1920 (xsd:nonNegativeInteger)
Wikipage revision ID	927767924 (xsd:integer)
Link from a Wikipage to another Wikipage	Foundations of mathematics Ultrafinitism Mathematical logic David Hilbert Zermelo–Fraenkel set theory Classical logic Philosophy of mathematics Constructivism (philosophy of mathematics) Finitism Impredicativity Intuitionism L. E. J. Brouwer Traditional mathematics Numerical analysis Mathematics
has abstract	In the foundations of mathematics, classical mathematics refers generally to the mainstream approach to mathematics, which is based on classical logic and ZFC set theory. It stands in contrast to other types of mathematics such as constructive mathematics or predicative mathematics. In practice, the most common non-classical systems are used in constructive mathematics. Classical mathematics is sometimes attacked on philosophical grounds, due to constructivist and other objections to the logic, set theory, etc., chosen as its foundations, such as have been expressed by L. E. J. Brouwer. Almost all mathematics, however, is done in the classical tradition, or in ways compatible with it. Defenders of classical mathematics, such as David Hilbert, have argued that it is easier to work in, and is most fruitful; although they acknowledge non-classical mathematics has at times led to fruitful results that classical mathematics could not (or could not so easily) attain, they argue that on the whole, it is the other way round. (en)
foaf:isPrimaryTopicOf	http://en.wikipedia.org/wiki/Classical_mathematics
is Wikipage redirect of	Classical math Classical mathematical
is Link from a Wikipage to another Wikipage of	Analysis Cantor's diagonal argument Glossary of areas of mathematics Journal of Formalized Reasoning Classical List of set identities and relations Constructive analysis Constructive set theory Constructivism (philosophy of mathematics) Microcontinuity Equivalence relation Fuzzy logic Inhabited set Classical math Classical mathematical Mathematical logic Neil J. Gunther
is academic discipline of	Neil J. Gunther
is foaf:primaryTopic of	http://en.wikipedia.org/wiki/Classical_mathematics

Faceted Search & Find service v1.17_git151 as of Feb 20 2025

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 07.20.3240 as of Nov 11 2024, on Linux (x86_64-ubuntu_focal-linux-gnu), Single-Server Edition (72 GB total memory, 1 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2025 OpenLink Software