Matches in SemOpenAlex for { <https://semopenalex.org/work/W2433382827> ?p ?o ?g. }
Showing items 1 to 66 of
66
with 100 items per page.
- W2433382827 abstract "God made the integers, everything else is the work of man. —Leopold Kronecker Building on the positive integers, weaving a web of ever more sets and more functions, we get the basic structures of mathematics: the rational number system, the real number system, the Euclidean spaces, the complex number system, the algebraic number fields, Hilbert space, the classical groups, and so forth. Within the framework of these structures most mathematics is done. Everything attaches itself to number, and every mathematical statement ultimately expresses the fact that if we perform certain computations within the set of positive integers, we shall get certain results. —Errett Bishop Constructivist Criticism of Classical Mathematics The constructive reals are the product of a radically conservative approach to mathematics. The constructivists take the integers as intuitively given, god given as Kronecker said, and the one and only source of truth in mathematics. To preserve this truth, they insist that all mathematical statements should be verifiable by computations within integers. The key idea here is that of a computation , by which is meant an operation or sequence of operations that can be performed by a finite intelligence (you or me, for example, or a digital computer) in a finite number of steps. By insisting that mathematics be computationally verifiable or reducible to finite computations with integers, the constructivists aim to guarantee truth in mathematics." @default.
- W2433382827 created "2016-06-24" @default.
- W2433382827 creator A5061201510 @default.
- W2433382827 date "2012-01-01" @default.
- W2433382827 modified "2023-09-23" @default.
- W2433382827 title "The Constructive Reals" @default.
- W2433382827 doi "https://doi.org/10.5948/upo9781614441076.009" @default.
- W2433382827 hasPublicationYear "2012" @default.
- W2433382827 type Work @default.
- W2433382827 sameAs 2433382827 @default.
- W2433382827 citedByCount "0" @default.
- W2433382827 crossrefType "book-chapter" @default.
- W2433382827 hasAuthorship W2433382827A5061201510 @default.
- W2433382827 hasConcept C111919701 @default.
- W2433382827 hasConcept C118615104 @default.
- W2433382827 hasConcept C129782007 @default.
- W2433382827 hasConcept C136119220 @default.
- W2433382827 hasConcept C202444582 @default.
- W2433382827 hasConcept C2524010 @default.
- W2433382827 hasConcept C2778701210 @default.
- W2433382827 hasConcept C33923547 @default.
- W2433382827 hasConcept C41008148 @default.
- W2433382827 hasConcept C46875033 @default.
- W2433382827 hasConcept C94020503 @default.
- W2433382827 hasConcept C98045186 @default.
- W2433382827 hasConcept C98371066 @default.
- W2433382827 hasConceptScore W2433382827C111919701 @default.
- W2433382827 hasConceptScore W2433382827C118615104 @default.
- W2433382827 hasConceptScore W2433382827C129782007 @default.
- W2433382827 hasConceptScore W2433382827C136119220 @default.
- W2433382827 hasConceptScore W2433382827C202444582 @default.
- W2433382827 hasConceptScore W2433382827C2524010 @default.
- W2433382827 hasConceptScore W2433382827C2778701210 @default.
- W2433382827 hasConceptScore W2433382827C33923547 @default.
- W2433382827 hasConceptScore W2433382827C41008148 @default.
- W2433382827 hasConceptScore W2433382827C46875033 @default.
- W2433382827 hasConceptScore W2433382827C94020503 @default.
- W2433382827 hasConceptScore W2433382827C98045186 @default.
- W2433382827 hasConceptScore W2433382827C98371066 @default.
- W2433382827 hasLocation W24333828271 @default.
- W2433382827 hasOpenAccess W2433382827 @default.
- W2433382827 hasPrimaryLocation W24333828271 @default.
- W2433382827 hasRelatedWork W1518290936 @default.
- W2433382827 hasRelatedWork W1649907574 @default.
- W2433382827 hasRelatedWork W1822309835 @default.
- W2433382827 hasRelatedWork W1856792357 @default.
- W2433382827 hasRelatedWork W1900113356 @default.
- W2433382827 hasRelatedWork W2002495770 @default.
- W2433382827 hasRelatedWork W2057128962 @default.
- W2433382827 hasRelatedWork W2057631483 @default.
- W2433382827 hasRelatedWork W2070687752 @default.
- W2433382827 hasRelatedWork W2079355284 @default.
- W2433382827 hasRelatedWork W2118633760 @default.
- W2433382827 hasRelatedWork W2127246914 @default.
- W2433382827 hasRelatedWork W2208743443 @default.
- W2433382827 hasRelatedWork W2412553109 @default.
- W2433382827 hasRelatedWork W2483273491 @default.
- W2433382827 hasRelatedWork W2611361880 @default.
- W2433382827 hasRelatedWork W2614883855 @default.
- W2433382827 hasRelatedWork W2952799563 @default.
- W2433382827 hasRelatedWork W3183800913 @default.
- W2433382827 hasRelatedWork W565574218 @default.
- W2433382827 isParatext "false" @default.
- W2433382827 isRetracted "false" @default.
- W2433382827 magId "2433382827" @default.
- W2433382827 workType "book-chapter" @default.