About: Pre-intuitionism

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

About: Pre-intuitionism Goto Sponge NotDistinct Permalink

An Entity of Type : owl:Thing, within Data Space : dbpedia.demo.openlinksw.com associated with source document(s)
QRcode icon

http://dbpedia.demo.openlinksw.com/describe/?url=http%3A%2F%2Fdbpedia.org%2Fresource%2FPre-intuitionism

In the philosophy of mathematics, the pre-intuitionists were a small but influential group who informally shared similar philosophies on the nature of mathematics. The term itself was used by L. E. J. Brouwer, who in his 1951 lectures at Cambridge described the differences between intuitionism and its predecessors:

Attributes	Values
rdfs:label	Pre-intuitionism (en)
rdfs:comment	In the philosophy of mathematics, the pre-intuitionists were a small but influential group who informally shared similar philosophies on the nature of mathematics. The term itself was used by L. E. J. Brouwer, who in his 1951 lectures at Cambridge described the differences between intuitionism and its predecessors: (en)
dcterms:subject	Theories of deduction History of mathematics
Wikipage page ID	1196185 (xsd:integer)
Wikipage revision ID	1117050336 (xsd:integer)
Link from a Wikipage to another Wikipage	Begging the question Nonconstructive proof Bertrand Russell Theories of deduction Peano axioms Rigour University of Cambridge Intuitionism Analytic proposition Mathematical induction Giuseppe Peano Conventionalism Leopold Kronecker Logic Émile Borel Law of excluded middle Logicism Formalism (philosophy of mathematics) Henri Lebesgue Henri Poincaré Hermann Weyl Temporal logic History of mathematics L. E. J. Brouwer Language Axiom Philosophy of mathematics Infinity Knowledge Natural number Complete induction Existence theorem Luitzen Egbertus Jan Brouwer Synthetic proposition
Link from a Wikipage to an external page	http://www.marxists.org/reference/subject/philosophy/works/ne/brouwer.htm https://web.archive.org/web/20050111050713/http:/www.acmsonline.org/Detlefsen87.pdf https://web.archive.org/web/20051029080803/http:/www.journalofcriticalrealism.org/archive/ALETHIAv3n2_straathof8.pdf
sameAs	Pre-intuitionism Pre-intuitionism
dbp:wikiPageUsesTemplate	dbt:Reflist
has abstract	In the philosophy of mathematics, the pre-intuitionists were a small but influential group who informally shared similar philosophies on the nature of mathematics. The term itself was used by L. E. J. Brouwer, who in his 1951 lectures at Cambridge described the differences between intuitionism and its predecessors: Of a totally different orientation [from the "Old Formalist School" of Dedekind, Cantor, Peano, Zermelo, and Couturat, etc.] was the Pre-Intuitionist School, mainly led by Poincaré, Borel and Lebesgue. These thinkers seem to have maintained a modified observational standpoint for the introduction of natural numbers, for the principle of complete induction [...] For these, even for such theorems as were deduced by means of classical logic, they postulated an existence and exactness independent of language and logic and regarded its non-contradictority as certain, even without logical proof. For the continuum, however, they seem not to have sought an origin strictly extraneous to language and logic. (en)
prov:wasDerivedFrom	wikipedia-en:Pre-intuitionism?oldid=1117050336&ns=0
page length (characters) of wiki page	7095 (xsd:nonNegativeInteger)
foaf:isPrimaryTopicOf	wikipedia-en:Pre-intuitionism
is Link from a Wikipage to another Wikipage of	Preintuitionism
is Wikipage redirect of	Preintuitionism
is foaf:primaryTopic of	wikipedia-en:Pre-intuitionism

Faceted Search & Find service v1.17_git139 as of Feb 29 2024

Alternative Linked Data Documents: ODE Content Formats:

RDF

ODATA

Microdata

About

OpenLink Virtuoso version 08.03.3330 as of Mar 19 2024, on Linux (x86_64-generic-linux-glibc212), Single-Server Edition (378 GB total memory, 60 GB memory in use)
Data on this page belongs to its respective rights holders.
Virtuoso Faceted Browser Copyright © 2009-2024 OpenLink Software