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
    Charles Babbage — Carmelics
    Thinkers/Charles Babbage
    Charles Babbage

    Charles Babbage

    modernBritish Empiricism / Philosophy of Science

    1791 – 1871

    Charles Babbage was a 19th-century English polymath, mathematician, and mechanical engineer best known as the originator of the concept of a programmable digital computer. His designs for the Difference Engine and Analytical Engine laid the conceptual foundations for modern computing, and he also contributed to philosophy of science, political economy, and cryptography.

    WWikipedia

    Notable Achievements

    1

    Designed the Difference Engine, a mechanical calculator for polynomial functions

    2

    Conceived the Analytical Engine, the first design for a general-purpose programmable computer

    3

    Authored 'On the Economy of Machinery and Manufactures' (1832), a foundational work in operations research

    4

    Contributed to natural theology in his 'Ninth Bridgewater Treatise'

    5

    Co-founded the Royal Astronomical Society and the Statistical Society of London

    Positions & Arguments(2)

    Philosophy of Language

    claim

    The semantics of a formal system rich enough to contain elementary mathematics cannot be fully defined in terms of mathematical functions within that same system.

    Truth & Knowledge

    claim

    The semantics of a formal system rich enough to contain elementary mathematics cannot be fully defined in terms of mathematical functions within that same system.

    Natural Theology

    claim

    The objection that probabilistic arguments are only of interest when founded on all relevant available evidence is not a legitimate objection against confirmatory probabilistic arguments

    At a Glance

    Ideas

    2

    Topics

    3

    Era

    modern

    Tradition

    British Empiricism / Philosophy of Science

    Topic Influence

    Truth & Knowledge1
    Natural Theology1
    Philosophy of Language1

    Related Thinkers

    Immanuel Kant3 sharedBertrand Russell3 sharedDavid Hume3 sharedAristotle3 sharedPlato3 sharedRené Descartes3 sharedF. Schlegel3 sharedDavid Hilbert3 shared

    Dive Deeper

    Explore Truth & Knowledge→See Natural Theology→