Matches in SemOpenAlex for { <https://semopenalex.org/work/W1619005665> ?p ?o ?g. }
Showing items 1 to 86 of
86
with 100 items per page.
- W1619005665 abstract "My topic is the problem of “founding” the theory of algorithms, part of the more general problem of “founding” computer science; whether it needs founding—which, I will argue, it does; what should count as a “foundation” for it; and why a specific “mathematical foundation” which I have proposed gives a satisfactory solution to the problem—better than the most commonly accepted “standard” approach. It will be impossible to completely avoid making some comments about the general problem of “founding a mathematical discipline,” but I will strive (mostly) to stay away from overly broad generalities, and concentrate on the aspects of the question which are special to algorithms. The paper splits naturally into two parts: A general introduction in Sections 1 – 4 which lays out the problem and reviews briefly the various approaches to it in the literature, and a more specific (in some places technical) outline of the proposed solution, beginning with Section 5. Before anything else, however, I will start in Section 1 with a theorem and a proof, a simple, elementary fact which is often included in a good, first course in computer science. It will be much easier to understand what I am after using this sample of “computer science talk” (and my slant towards it) as a starting point." @default.
- W1619005665 created "2016-06-24" @default.
- W1619005665 creator A5034599885 @default.
- W1619005665 date "2011-01-01" @default.
- W1619005665 modified "2023-09-26" @default.
- W1619005665 title "On founding the theory of algorithms" @default.
- W1619005665 cites W1483568252 @default.
- W1619005665 cites W1504571518 @default.
- W1619005665 cites W1517118197 @default.
- W1619005665 cites W1559788204 @default.
- W1619005665 cites W1591960753 @default.
- W1619005665 cites W1604650377 @default.
- W1619005665 cites W1793763201 @default.
- W1619005665 cites W1973730262 @default.
- W1619005665 cites W1993449345 @default.
- W1619005665 cites W2003467926 @default.
- W1619005665 cites W2023146962 @default.
- W1619005665 cites W2045398663 @default.
- W1619005665 cites W2076739553 @default.
- W1619005665 cites W2079337360 @default.
- W1619005665 cites W2079743999 @default.
- W1619005665 cites W2115880227 @default.
- W1619005665 cites W2126160338 @default.
- W1619005665 cites W2752853835 @default.
- W1619005665 cites W3152741257 @default.
- W1619005665 hasPublicationYear "2011" @default.
- W1619005665 type Work @default.
- W1619005665 sameAs 1619005665 @default.
- W1619005665 citedByCount "9" @default.
- W1619005665 countsByYear W16190056652012 @default.
- W1619005665 countsByYear W16190056652013 @default.
- W1619005665 countsByYear W16190056652015 @default.
- W1619005665 countsByYear W16190056652017 @default.
- W1619005665 crossrefType "journal-article" @default.
- W1619005665 hasAuthorship W1619005665A5034599885 @default.
- W1619005665 hasConcept C111472728 @default.
- W1619005665 hasConcept C111919701 @default.
- W1619005665 hasConcept C11413529 @default.
- W1619005665 hasConcept C138885662 @default.
- W1619005665 hasConcept C144237770 @default.
- W1619005665 hasConcept C17744445 @default.
- W1619005665 hasConcept C199343813 @default.
- W1619005665 hasConcept C199539241 @default.
- W1619005665 hasConcept C2524010 @default.
- W1619005665 hasConcept C2777686260 @default.
- W1619005665 hasConcept C2780129039 @default.
- W1619005665 hasConcept C2780586882 @default.
- W1619005665 hasConcept C2780966255 @default.
- W1619005665 hasConcept C28719098 @default.
- W1619005665 hasConcept C33923547 @default.
- W1619005665 hasConcept C41008148 @default.
- W1619005665 hasConcept C71924100 @default.
- W1619005665 hasConceptScore W1619005665C111472728 @default.
- W1619005665 hasConceptScore W1619005665C111919701 @default.
- W1619005665 hasConceptScore W1619005665C11413529 @default.
- W1619005665 hasConceptScore W1619005665C138885662 @default.
- W1619005665 hasConceptScore W1619005665C144237770 @default.
- W1619005665 hasConceptScore W1619005665C17744445 @default.
- W1619005665 hasConceptScore W1619005665C199343813 @default.
- W1619005665 hasConceptScore W1619005665C199539241 @default.
- W1619005665 hasConceptScore W1619005665C2524010 @default.
- W1619005665 hasConceptScore W1619005665C2777686260 @default.
- W1619005665 hasConceptScore W1619005665C2780129039 @default.
- W1619005665 hasConceptScore W1619005665C2780586882 @default.
- W1619005665 hasConceptScore W1619005665C2780966255 @default.
- W1619005665 hasConceptScore W1619005665C28719098 @default.
- W1619005665 hasConceptScore W1619005665C33923547 @default.
- W1619005665 hasConceptScore W1619005665C41008148 @default.
- W1619005665 hasConceptScore W1619005665C71924100 @default.
- W1619005665 hasLocation W16190056651 @default.
- W1619005665 hasOpenAccess W1619005665 @default.
- W1619005665 hasPrimaryLocation W16190056651 @default.
- W1619005665 hasRelatedWork W1483568252 @default.
- W1619005665 hasRelatedWork W1494559 @default.
- W1619005665 hasRelatedWork W1998333922 @default.
- W1619005665 hasRelatedWork W2089674328 @default.
- W1619005665 hasRelatedWork W2116849571 @default.
- W1619005665 hasRelatedWork W2126160338 @default.
- W1619005665 hasRelatedWork W2132161762 @default.
- W1619005665 hasRelatedWork W2135547275 @default.
- W1619005665 hasRelatedWork W2498238091 @default.
- W1619005665 hasRelatedWork W333470958 @default.
- W1619005665 isParatext "false" @default.
- W1619005665 isRetracted "false" @default.
- W1619005665 magId "1619005665" @default.
- W1619005665 workType "article" @default.