Matches in SemOpenAlex for { <https://semopenalex.org/work/W1484604328> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W1484604328 abstract "In a forthcoming book, professional computer scientist and physicist Paul Budnik presents an exposition of classical mathematical theory as the backdrop to an elegant thesis: we can interpret any model of a formal system of Peano Arithmetic in an appropriate, digital, computational language. In this paper we attempt - without addressing the question of whether or not Budnik succeeds in establishing his thesis convincingly - to identify dogmas of standard interpretations of classical mathematical theory that appear to be implicit in Budnik's exposition, and to correspond to them dogmas of a constructive interpretation of classical theory." @default.
- W1484604328 created "2016-06-24" @default.
- W1484604328 creator A5088589593 @default.
- W1484604328 date "2003-05-17" @default.
- W1484604328 modified "2023-09-27" @default.
- W1484604328 title "Can we express every transfinite concept constructively" @default.
- W1484604328 cites W1514448836 @default.
- W1484604328 cites W1596092532 @default.
- W1484604328 cites W1916582716 @default.
- W1484604328 cites W1984820433 @default.
- W1484604328 cites W2007225893 @default.
- W1484604328 cites W2023778211 @default.
- W1484604328 cites W2062816079 @default.
- W1484604328 cites W2097415784 @default.
- W1484604328 cites W2126160338 @default.
- W1484604328 cites W2895656663 @default.
- W1484604328 cites W3026105695 @default.
- W1484604328 cites W3202249142 @default.
- W1484604328 cites W4941964 @default.
- W1484604328 hasPublicationYear "2003" @default.
- W1484604328 type Work @default.
- W1484604328 sameAs 1484604328 @default.
- W1484604328 citedByCount "0" @default.
- W1484604328 crossrefType "posted-content" @default.
- W1484604328 hasAuthorship W1484604328A5088589593 @default.
- W1484604328 hasConcept C111472728 @default.
- W1484604328 hasConcept C11413529 @default.
- W1484604328 hasConcept C124952713 @default.
- W1484604328 hasConcept C138885662 @default.
- W1484604328 hasConcept C142362112 @default.
- W1484604328 hasConcept C144237770 @default.
- W1484604328 hasConcept C147358099 @default.
- W1484604328 hasConcept C15744967 @default.
- W1484604328 hasConcept C188147891 @default.
- W1484604328 hasConcept C199343813 @default.
- W1484604328 hasConcept C199360897 @default.
- W1484604328 hasConcept C202444582 @default.
- W1484604328 hasConcept C2776285698 @default.
- W1484604328 hasConcept C2777686260 @default.
- W1484604328 hasConcept C2778701210 @default.
- W1484604328 hasConcept C33923547 @default.
- W1484604328 hasConcept C41008148 @default.
- W1484604328 hasConcept C527412718 @default.
- W1484604328 hasConcept C71924100 @default.
- W1484604328 hasConcept C97489613 @default.
- W1484604328 hasConcept C98045186 @default.
- W1484604328 hasConceptScore W1484604328C111472728 @default.
- W1484604328 hasConceptScore W1484604328C11413529 @default.
- W1484604328 hasConceptScore W1484604328C124952713 @default.
- W1484604328 hasConceptScore W1484604328C138885662 @default.
- W1484604328 hasConceptScore W1484604328C142362112 @default.
- W1484604328 hasConceptScore W1484604328C144237770 @default.
- W1484604328 hasConceptScore W1484604328C147358099 @default.
- W1484604328 hasConceptScore W1484604328C15744967 @default.
- W1484604328 hasConceptScore W1484604328C188147891 @default.
- W1484604328 hasConceptScore W1484604328C199343813 @default.
- W1484604328 hasConceptScore W1484604328C199360897 @default.
- W1484604328 hasConceptScore W1484604328C202444582 @default.
- W1484604328 hasConceptScore W1484604328C2776285698 @default.
- W1484604328 hasConceptScore W1484604328C2777686260 @default.
- W1484604328 hasConceptScore W1484604328C2778701210 @default.
- W1484604328 hasConceptScore W1484604328C33923547 @default.
- W1484604328 hasConceptScore W1484604328C41008148 @default.
- W1484604328 hasConceptScore W1484604328C527412718 @default.
- W1484604328 hasConceptScore W1484604328C71924100 @default.
- W1484604328 hasConceptScore W1484604328C97489613 @default.
- W1484604328 hasConceptScore W1484604328C98045186 @default.
- W1484604328 hasLocation W14846043281 @default.
- W1484604328 hasOpenAccess W1484604328 @default.
- W1484604328 hasPrimaryLocation W14846043281 @default.
- W1484604328 hasRelatedWork W120264487 @default.
- W1484604328 hasRelatedWork W1513840323 @default.
- W1484604328 hasRelatedWork W171721231 @default.
- W1484604328 hasRelatedWork W172695212 @default.
- W1484604328 hasRelatedWork W192001614 @default.
- W1484604328 hasRelatedWork W1929646042 @default.
- W1484604328 hasRelatedWork W2000451821 @default.
- W1484604328 hasRelatedWork W2033486063 @default.
- W1484604328 hasRelatedWork W2064786316 @default.
- W1484604328 hasRelatedWork W2068687983 @default.
- W1484604328 hasRelatedWork W2078217586 @default.
- W1484604328 hasRelatedWork W2080881072 @default.
- W1484604328 hasRelatedWork W20815096 @default.
- W1484604328 hasRelatedWork W2099194640 @default.
- W1484604328 hasRelatedWork W2161817852 @default.
- W1484604328 hasRelatedWork W2312801566 @default.
- W1484604328 hasRelatedWork W2600111394 @default.
- W1484604328 hasRelatedWork W3150025995 @default.
- W1484604328 hasRelatedWork W3189718166 @default.
- W1484604328 hasRelatedWork W55126797 @default.
- W1484604328 isParatext "false" @default.
- W1484604328 isRetracted "false" @default.
- W1484604328 magId "1484604328" @default.
- W1484604328 workType "article" @default.