Matches in SemOpenAlex for { <https://semopenalex.org/work/W4384788384> ?p ?o ?g. }
Showing items 1 to 94 of
94
with 100 items per page.
- W4384788384 endingPage "177" @default.
- W4384788384 startingPage "166" @default.
- W4384788384 abstract "Given a computable sequence of natural numbers, it is a natural task to find a Gödel number of a program that generates this sequence. It is easy to see that this problem is neither continuous nor computable. In algorithmic learning theory this problem is well studied from several perspectives and one question studied there is for which sequences this problem is at least learnable in the limit. Here we study the problem on all computable sequences and we classify the Weihrauch complexity of it. For this purpose we can, among other methods, utilize the amalgamation technique known from learning theory. As a benchmark for the classification we use closed and compact choice problems and their jumps on natural numbers, which correspond to induction and boundedness principles, as they are known from the Kirby-Paris hierarchy in reverse mathematics. We provide a topological as well as a computability-theoretic classification, which reveal some significant differences." @default.
- W4384788384 created "2023-07-20" @default.
- W4384788384 creator A5019910641 @default.
- W4384788384 date "2023-01-01" @default.
- W4384788384 modified "2023-10-06" @default.
- W4384788384 title "On the Complexity of Learning Programs" @default.
- W4384788384 cites W1485942862 @default.
- W4384788384 cites W1572451808 @default.
- W4384788384 cites W1969005071 @default.
- W4384788384 cites W1981403153 @default.
- W4384788384 cites W2018837422 @default.
- W4384788384 cites W2044009111 @default.
- W4384788384 cites W2407347945 @default.
- W4384788384 cites W2736063278 @default.
- W4384788384 cites W3100726716 @default.
- W4384788384 cites W3105030062 @default.
- W4384788384 cites W3105905549 @default.
- W4384788384 cites W4205391224 @default.
- W4384788384 cites W4205550270 @default.
- W4384788384 cites W4229690001 @default.
- W4384788384 cites W4287313091 @default.
- W4384788384 cites W4365511481 @default.
- W4384788384 doi "https://doi.org/10.1007/978-3-031-36978-0_14" @default.
- W4384788384 hasPublicationYear "2023" @default.
- W4384788384 type Work @default.
- W4384788384 citedByCount "0" @default.
- W4384788384 crossrefType "book-chapter" @default.
- W4384788384 hasAuthorship W4384788384A5019910641 @default.
- W4384788384 hasConcept C11413529 @default.
- W4384788384 hasConcept C118615104 @default.
- W4384788384 hasConcept C13280743 @default.
- W4384788384 hasConcept C134306372 @default.
- W4384788384 hasConcept C136119220 @default.
- W4384788384 hasConcept C151201525 @default.
- W4384788384 hasConcept C152062344 @default.
- W4384788384 hasConcept C154945302 @default.
- W4384788384 hasConcept C156382255 @default.
- W4384788384 hasConcept C162324750 @default.
- W4384788384 hasConcept C184264201 @default.
- W4384788384 hasConcept C185798385 @default.
- W4384788384 hasConcept C202444582 @default.
- W4384788384 hasConcept C205649164 @default.
- W4384788384 hasConcept C27318111 @default.
- W4384788384 hasConcept C2778112365 @default.
- W4384788384 hasConcept C31170391 @default.
- W4384788384 hasConcept C33923547 @default.
- W4384788384 hasConcept C34447519 @default.
- W4384788384 hasConcept C41008148 @default.
- W4384788384 hasConcept C54271186 @default.
- W4384788384 hasConcept C54355233 @default.
- W4384788384 hasConcept C80444323 @default.
- W4384788384 hasConcept C86803240 @default.
- W4384788384 hasConceptScore W4384788384C11413529 @default.
- W4384788384 hasConceptScore W4384788384C118615104 @default.
- W4384788384 hasConceptScore W4384788384C13280743 @default.
- W4384788384 hasConceptScore W4384788384C134306372 @default.
- W4384788384 hasConceptScore W4384788384C136119220 @default.
- W4384788384 hasConceptScore W4384788384C151201525 @default.
- W4384788384 hasConceptScore W4384788384C152062344 @default.
- W4384788384 hasConceptScore W4384788384C154945302 @default.
- W4384788384 hasConceptScore W4384788384C156382255 @default.
- W4384788384 hasConceptScore W4384788384C162324750 @default.
- W4384788384 hasConceptScore W4384788384C184264201 @default.
- W4384788384 hasConceptScore W4384788384C185798385 @default.
- W4384788384 hasConceptScore W4384788384C202444582 @default.
- W4384788384 hasConceptScore W4384788384C205649164 @default.
- W4384788384 hasConceptScore W4384788384C27318111 @default.
- W4384788384 hasConceptScore W4384788384C2778112365 @default.
- W4384788384 hasConceptScore W4384788384C31170391 @default.
- W4384788384 hasConceptScore W4384788384C33923547 @default.
- W4384788384 hasConceptScore W4384788384C34447519 @default.
- W4384788384 hasConceptScore W4384788384C41008148 @default.
- W4384788384 hasConceptScore W4384788384C54271186 @default.
- W4384788384 hasConceptScore W4384788384C54355233 @default.
- W4384788384 hasConceptScore W4384788384C80444323 @default.
- W4384788384 hasConceptScore W4384788384C86803240 @default.
- W4384788384 hasLocation W43847883841 @default.
- W4384788384 hasOpenAccess W4384788384 @default.
- W4384788384 hasPrimaryLocation W43847883841 @default.
- W4384788384 hasRelatedWork W1480530468 @default.
- W4384788384 hasRelatedWork W1533694441 @default.
- W4384788384 hasRelatedWork W1581461478 @default.
- W4384788384 hasRelatedWork W1997688386 @default.
- W4384788384 hasRelatedWork W2002700168 @default.
- W4384788384 hasRelatedWork W2171088343 @default.
- W4384788384 hasRelatedWork W2226569545 @default.
- W4384788384 hasRelatedWork W2962816983 @default.
- W4384788384 hasRelatedWork W3184399009 @default.
- W4384788384 hasRelatedWork W2766473141 @default.
- W4384788384 isParatext "false" @default.
- W4384788384 isRetracted "false" @default.
- W4384788384 workType "book-chapter" @default.