Matches in SemOpenAlex for { <https://semopenalex.org/work/W4313384265> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W4313384265 endingPage "110" @default.
- W4313384265 startingPage "93" @default.
- W4313384265 abstract "Stephen KleeneKleene, Stephen (1909–1994) once praised the Hungarian mathematician and logician Rózsa Péter (1905–1977) as “the leading contributor to the special theory of recursive functionsKleene, Stephen” (Kleene, 1952). Her works broke new ground and helped to establish recursion theory as a mathematical discipline. Today, KleeneKleene, Stephen is much better known in the philosophy of mathematics than Péter. In this chapter, I provide an overview of Rózsa Péter’s work and describe her active role in communicating these results to a broader audience in her book Playing with Infinity (1944/1961). First, I will briefly summarize the content and key statements of Péter’s book, including an overview of its reception. Second, I will focus on a case study: Péter’s popular sketch of Gödel’sGödel, Kurt proof. Third, I will contextualize this case study against the historical background of Hilbert’sHilbert, David program and the decision problem. This includes Péter’s research on recursion theory. Last, but not least, I will discuss Church’sChurch, Alonzo thesis and Péter’s interpretation of it. I conclude with some reflections on the relevance of Péter’s work from a philosophical, conceptual and practical perspective." @default.
- W4313384265 created "2023-01-06" @default.
- W4313384265 creator A5025780848 @default.
- W4313384265 date "2022-01-01" @default.
- W4313384265 modified "2023-10-16" @default.
- W4313384265 title "Rózsa Péter on the Philosophy and Foundations of Mathematics: A Reappraisal" @default.
- W4313384265 cites W1544770322 @default.
- W4313384265 cites W1554405050 @default.
- W4313384265 cites W1567974089 @default.
- W4313384265 cites W1604800630 @default.
- W4313384265 cites W1974532041 @default.
- W4313384265 cites W2004381245 @default.
- W4313384265 cites W2017136603 @default.
- W4313384265 cites W2022731279 @default.
- W4313384265 cites W2023778211 @default.
- W4313384265 cites W2064811181 @default.
- W4313384265 cites W2065535838 @default.
- W4313384265 cites W2070909821 @default.
- W4313384265 cites W2072853939 @default.
- W4313384265 cites W2075188242 @default.
- W4313384265 cites W2080578908 @default.
- W4313384265 cites W2082187221 @default.
- W4313384265 cites W2126160338 @default.
- W4313384265 cites W2488970025 @default.
- W4313384265 cites W2973212516 @default.
- W4313384265 cites W3023873817 @default.
- W4313384265 cites W3183385960 @default.
- W4313384265 cites W4229640991 @default.
- W4313384265 cites W4233367473 @default.
- W4313384265 cites W4244319301 @default.
- W4313384265 cites W4256369010 @default.
- W4313384265 cites W577067176 @default.
- W4313384265 doi "https://doi.org/10.1007/978-3-031-08593-2_5" @default.
- W4313384265 hasPublicationYear "2022" @default.
- W4313384265 type Work @default.
- W4313384265 citedByCount "0" @default.
- W4313384265 crossrefType "book-chapter" @default.
- W4313384265 hasAuthorship W4313384265A5025780848 @default.
- W4313384265 hasConcept C111472728 @default.
- W4313384265 hasConcept C11413529 @default.
- W4313384265 hasConcept C120665830 @default.
- W4313384265 hasConcept C121332964 @default.
- W4313384265 hasConcept C123556308 @default.
- W4313384265 hasConcept C134306372 @default.
- W4313384265 hasConcept C138885662 @default.
- W4313384265 hasConcept C158154518 @default.
- W4313384265 hasConcept C168773036 @default.
- W4313384265 hasConcept C17744445 @default.
- W4313384265 hasConcept C182744844 @default.
- W4313384265 hasConcept C192209626 @default.
- W4313384265 hasConcept C199343813 @default.
- W4313384265 hasConcept C199539241 @default.
- W4313384265 hasConcept C2777686260 @default.
- W4313384265 hasConcept C2779231336 @default.
- W4313384265 hasConcept C33923547 @default.
- W4313384265 hasConcept C40238689 @default.
- W4313384265 hasConcept C41895202 @default.
- W4313384265 hasConcept C527412718 @default.
- W4313384265 hasConcept C71924100 @default.
- W4313384265 hasConcept C7321624 @default.
- W4313384265 hasConceptScore W4313384265C111472728 @default.
- W4313384265 hasConceptScore W4313384265C11413529 @default.
- W4313384265 hasConceptScore W4313384265C120665830 @default.
- W4313384265 hasConceptScore W4313384265C121332964 @default.
- W4313384265 hasConceptScore W4313384265C123556308 @default.
- W4313384265 hasConceptScore W4313384265C134306372 @default.
- W4313384265 hasConceptScore W4313384265C138885662 @default.
- W4313384265 hasConceptScore W4313384265C158154518 @default.
- W4313384265 hasConceptScore W4313384265C168773036 @default.
- W4313384265 hasConceptScore W4313384265C17744445 @default.
- W4313384265 hasConceptScore W4313384265C182744844 @default.
- W4313384265 hasConceptScore W4313384265C192209626 @default.
- W4313384265 hasConceptScore W4313384265C199343813 @default.
- W4313384265 hasConceptScore W4313384265C199539241 @default.
- W4313384265 hasConceptScore W4313384265C2777686260 @default.
- W4313384265 hasConceptScore W4313384265C2779231336 @default.
- W4313384265 hasConceptScore W4313384265C33923547 @default.
- W4313384265 hasConceptScore W4313384265C40238689 @default.
- W4313384265 hasConceptScore W4313384265C41895202 @default.
- W4313384265 hasConceptScore W4313384265C527412718 @default.
- W4313384265 hasConceptScore W4313384265C71924100 @default.
- W4313384265 hasConceptScore W4313384265C7321624 @default.
- W4313384265 hasLocation W43133842651 @default.
- W4313384265 hasOpenAccess W4313384265 @default.
- W4313384265 hasPrimaryLocation W43133842651 @default.
- W4313384265 hasRelatedWork W1550220557 @default.
- W4313384265 hasRelatedWork W1556497657 @default.
- W4313384265 hasRelatedWork W1971299353 @default.
- W4313384265 hasRelatedWork W1972528112 @default.
- W4313384265 hasRelatedWork W2054258938 @default.
- W4313384265 hasRelatedWork W2068931236 @default.
- W4313384265 hasRelatedWork W2376801382 @default.
- W4313384265 hasRelatedWork W2594235377 @default.
- W4313384265 hasRelatedWork W2604485743 @default.
- W4313384265 hasRelatedWork W2744442043 @default.
- W4313384265 isParatext "false" @default.
- W4313384265 isRetracted "false" @default.
- W4313384265 workType "book-chapter" @default.