Skip to content
Carmelics
TopicsThinkersChangesContributorsLoading account…

    Carmelics

    A reasoning platform. Break down any belief into clear reasons, explore both sides, and weigh the evidence honestly.

    Navigate

    • Topics
    • Search
    • Recent Changes
    • Contribute
    • How It Works
    • Glossary
    • Thinkers
    • Contributors
    • About
    • Statistics
    • Terms
    • Privacy

    Database

    Statements
    —
    Perspectives
    —
    Topics
    —

    Press ? for keyboard shortcuts

    LoyalLoyalJusticeJustice
    Made withinDC&Austin
    Statements
    321,452
    Perspectives
    108,905
    Topics
    42
    Rózsa Péter — Carmelics
    Thinkers/Rózsa Péter
    RP

    Rózsa Péter

    contemporaryMathematical Logic / Recursion Theory

    1905 – 1977

    Rózsa Péter was a Hungarian mathematician and logician, widely regarded as the founding mother of recursive function theory. She made foundational contributions to the study of primitive recursive functions, demonstrating their limitations and developing the theory systematically. Her 1951 book 'Rekursive Funktionen' was the first monograph dedicated entirely to recursion theory.

    WWikipedia

    Notable Achievements

    1

    Authored the first book dedicated to recursive function theory (Rekursive Funktionen, 1951)

    2

    Proved key results on the limitations of primitive recursive functions, including non-primitive-recursive computable functions

    3

    Pioneered the systematic study of primitive recursive functions as an independent field

    4

    Awarded the Kossuth Prize, Hungary's highest state award for scientific achievement

    5

    Advocated for mathematics education and wrote 'Playing with Infinity' for general audiences

    Positions & Arguments(1)

    Modality & Possibility

    claim

    The universal function u_1(i,x) = g_i(x) for unary primitive recursive functions cannot itself be primitive recursive

    Truth & Knowledge

    claim

    The universal function u_1(i,x) = g_i(x) for unary primitive recursive functions cannot itself be primitive recursive

    At a Glance

    Ideas

    1

    Topics

    2

    Era

    contemporary

    Tradition

    Mathematical Logic / Recursion Theory

    Topic Influence

    Truth & Knowledge1
    Modality & Possibility1

    Related Thinkers

    David Lewis2 sharedImmanuel Kant2 sharedAristotle2 sharedBrian Skyrms2 sharedBertrand Russell2 sharedDavid Hume2 sharedPlato2 sharedStathis Psillos2 shared

    Dive Deeper

    Explore Truth & Knowledge→See Modality & Possibility→