FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W3010560451> ?p ?o ?g. }

• W3010560451 abstract "The first seeds of mathematical intuitionism germinated in Europe over a century ago in the constructive tendencies of Borel, Baire, Lebesque, Poincare, Kronecker and others. The flowering was the work of one man, Luitzen Egbertus Jan Brouwer, who taught mathematics at the University of Amsterdam from 1909 until 1951. By proving powerful theorems on topological invariants and fixed points of continuous mappings, Brouwer quickly build a mathematical reputation strong enough to support his revolutionary ideas about the nature of mathematical activity. These ideas influenced Hilbert and Godel and established intuitionistic logic and mathematics as subjects worthy of independent study. Our aim is to describe the development of Brouwer's intuitionism, from his rejection of the classical law of excluded middle to his controversial theory of the continuum, with fundamental consequences for logic and mathematics. We borrow Kleene's formal axiomatic systems (incorporating earlier attempts by Kolmogorov, Glivenko, Heyting and Peano) for intuitionistic logic and arithmetic as subtheories of the corresponding classical theories, and sketch his use of godel numbers of recursive functions to realize sentences of intuitionistic arithmetic including a form of Church's Thesis. Finally, we present Kleene and Vesley's axiomatic treatment of Brouwer's continuum, with the function-realizability interpretation which establishes its consistency." @default.
• W3010560451 created "2020-03-13" @default.
• W3010560451 creator A5003896165 @default.
• W3010560451 creator A5028096973 @default.
• W3010560451 date "2020-03-04" @default.
• W3010560451 modified "2023-09-27" @default.
• W3010560451 title "Intuitionistic Mathematics and Logic" @default.
• W3010560451 cites W1419229136 @default.
• W3010560451 cites W1483568252 @default.
• W3010560451 cites W1525431708 @default.
• W3010560451 cites W1555643099 @default.
• W3010560451 cites W1966245774 @default.
• W3010560451 cites W1973446732 @default.
• W3010560451 cites W1982061352 @default.
• W3010560451 cites W2022788030 @default.
• W3010560451 cites W2039977878 @default.
• W3010560451 cites W2043566933 @default.
• W3010560451 cites W2051685387 @default.
• W3010560451 cites W2057128962 @default.
• W3010560451 cites W2085041816 @default.
• W3010560451 cites W2165267619 @default.
• W3010560451 cites W2388500615 @default.
• W3010560451 cites W2583443307 @default.
• W3010560451 cites W2895713962 @default.
• W3010560451 cites W2984554478 @default.
• W3010560451 hasPublicationYear "2020" @default.
• W3010560451 type Work @default.
• W3010560451 sameAs 3010560451 @default.
• W3010560451 citedByCount "0" @default.
• W3010560451 crossrefType "posted-content" @default.
• W3010560451 hasAuthorship W3010560451A5003896165 @default.
• W3010560451 hasAuthorship W3010560451A5028096973 @default.
• W3010560451 hasConcept C111472728 @default.
• W3010560451 hasConcept C11413529 @default.
• W3010560451 hasConcept C118615104 @default.
• W3010560451 hasConcept C125773388 @default.
• W3010560451 hasConcept C136119220 @default.
• W3010560451 hasConcept C137155000 @default.
• W3010560451 hasConcept C138885662 @default.
• W3010560451 hasConcept C153107464 @default.
• W3010560451 hasConcept C154945302 @default.
• W3010560451 hasConcept C167729594 @default.
• W3010560451 hasConcept C178421362 @default.
• W3010560451 hasConcept C180937797 @default.
• W3010560451 hasConcept C199343813 @default.
• W3010560451 hasConcept C202444582 @default.
• W3010560451 hasConcept C2524010 @default.
• W3010560451 hasConcept C2777686260 @default.
• W3010560451 hasConcept C2781302003 @default.
• W3010560451 hasConcept C28077239 @default.
• W3010560451 hasConcept C33923547 @default.
• W3010560451 hasConcept C41008148 @default.
• W3010560451 hasConcept C47884741 @default.
• W3010560451 hasConcept C71924100 @default.
• W3010560451 hasConcept C97489613 @default.
• W3010560451 hasConceptScore W3010560451C111472728 @default.
• W3010560451 hasConceptScore W3010560451C11413529 @default.
• W3010560451 hasConceptScore W3010560451C118615104 @default.
• W3010560451 hasConceptScore W3010560451C125773388 @default.
• W3010560451 hasConceptScore W3010560451C136119220 @default.
• W3010560451 hasConceptScore W3010560451C137155000 @default.
• W3010560451 hasConceptScore W3010560451C138885662 @default.
• W3010560451 hasConceptScore W3010560451C153107464 @default.
• W3010560451 hasConceptScore W3010560451C154945302 @default.
• W3010560451 hasConceptScore W3010560451C167729594 @default.
• W3010560451 hasConceptScore W3010560451C178421362 @default.
• W3010560451 hasConceptScore W3010560451C180937797 @default.
• W3010560451 hasConceptScore W3010560451C199343813 @default.
• W3010560451 hasConceptScore W3010560451C202444582 @default.
• W3010560451 hasConceptScore W3010560451C2524010 @default.
• W3010560451 hasConceptScore W3010560451C2777686260 @default.
• W3010560451 hasConceptScore W3010560451C2781302003 @default.
• W3010560451 hasConceptScore W3010560451C28077239 @default.
• W3010560451 hasConceptScore W3010560451C33923547 @default.
• W3010560451 hasConceptScore W3010560451C41008148 @default.
• W3010560451 hasConceptScore W3010560451C47884741 @default.
• W3010560451 hasConceptScore W3010560451C71924100 @default.
• W3010560451 hasConceptScore W3010560451C97489613 @default.
• W3010560451 hasLocation W30105604511 @default.
• W3010560451 hasOpenAccess W3010560451 @default.
• W3010560451 hasPrimaryLocation W30105604511 @default.
• W3010560451 hasRelatedWork W1574512757 @default.
• W3010560451 hasRelatedWork W1607953571 @default.
• W3010560451 hasRelatedWork W1900331061 @default.
• W3010560451 hasRelatedWork W1903328864 @default.
• W3010560451 hasRelatedWork W2081515694 @default.
• W3010560451 hasRelatedWork W2133162776 @default.
• W3010560451 hasRelatedWork W2158516540 @default.
• W3010560451 hasRelatedWork W2278474865 @default.
• W3010560451 hasRelatedWork W2286724096 @default.
• W3010560451 hasRelatedWork W2473957366 @default.
• W3010560451 hasRelatedWork W247576261 @default.
• W3010560451 hasRelatedWork W2487677574 @default.
• W3010560451 hasRelatedWork W2502253281 @default.
• W3010560451 hasRelatedWork W2898808379 @default.
• W3010560451 hasRelatedWork W3104200622 @default.
• W3010560451 hasRelatedWork W574592313 @default.
• W3010560451 hasRelatedWork W610666121 @default.
• W3010560451 hasRelatedWork W644501684 @default.
• W3010560451 hasRelatedWork W954997257 @default.

• next