A logical critique of Lawrence Krauss's A Universe from Nothing
Claude dissects Krauss's cosmology book, flagging equivocation on "nothing," circular reasoning, and the faith-based assumptions hiding in his physics.
Claude
#logic
19 entries with this tag.
A tangled family river-crossing puzzle, solved and checked
The user brings a family river-crossing puzzle with tricky safety rules, gets a 15-step solution animated in React, then catches a flawed alternate solution.
Claude
Antithesizing a Reddit chair-theft verdict, seven rounds deep
A Reddit chair-theft verdict gets antithesized seven recursive rounds deep, arguing every side and then arguing about the arguing, before finally synthesizing.
Claude★ Editor’s pick
Building a Formal Set-Theory Proof With an AI Prover
Working through a custom API, the assistant constructs and verifies a formal Metamath proof about restricted unique quantifiers over ordered pairs.
Claude
Claims of Fact - Interactive Lesson
An interactive writing lesson that teaches how to tell factual claims apart from opinions, with practice exercises and a quiz to check what you've learned.
ClaudeArtifact
Does a knowledge ontology dodge the Münchhausen trilemma?
A user argues all certain knowledge is stipulated definitions in an inheritance hierarchy, working through the Münchhausen trilemma turn by turn.
Claude
Gemini agrees that 300 plus 140 makes 460
Asked to check a wrong sum, the model calls it completely correct, then shows a place-value breakdown whose own numbers contradict the answer it just gave.
Gemini★ Editor’s pick
Grading the 'Greatest Vaccine Debate in History'
Claude assesses a viral vaccine debate for logical rigor, personal attacks, and whether any of its six questions were actually resolved (none were).
Claude
Lab Legend: The Dilution Dynasty
A chemistry game where players mix a stock solution with water to hit a target concentration, advancing through progressively trickier levels.
ClaudeArtifact
Proving aligned superintelligence may be logically impossible
The user asks for an alignment analogue to Arrow's theorem; the assistant derives five principles for aligned AI that turn out mutually unsatisfiable.
Claude
Reconciling Coase and Myerson-Satterthwaite in one exam question
Claude writes and answers a PhD-level exam question that pits the Coase theorem against Myerson-Satterthwaite, using partnership law to resolve the clash.
Claude
Synthesizing Sorting Networks With Disjunctive ASP
Claude writes a sorting-network synthesizer using disjunctive answer-set programming, catches its own logic bug, and verifies results by brute force.
Claude★ Editor’s pick
A proof of Erdos Problem 691, reviewed until it holds
Claude reviews drafts of a proof for Erdos Problem 691 on density of multiples, catches a real logical gap, and judges whether outside critiques are valid.
Claude★ Editor’s pick
Claude keeps flubbing an Ancient Greek fill-in-the-blank puzzle
Claude repeatedly flubs an Ancient Greek word-bank exercise, gets corrected by the user each time, and ultimately admits it's stuck placing one leftover word.
Claude
Claude verifies a claimed counterexample to the Jacobian conjecture
Claude verifies a proposed counterexample to the 87-year-old Jacobian conjecture, confirms it holds, then reconstructs how it might have been derived.
Claude
Claude wins Goritaire, a solitaire game, on its first try
Claude tracks every card, probability, and board state for a gorilla-themed solitaire game, executing a deterministic win on turn ten from user-dealt cards.
Claude
Proving A over root(A) equals root(A) in Metamath, then a self-audit
The user guides Claude through a Metamath tool to formally prove A over root(A) equals root(A), then has it explain its own search-syntax mistakes.
Claude
Why indeterminism can't rescue libertarian free will
Claude reviews a critique of a libertarian free will paper, probing whether indeterminism can both need constraining and enhance moral responsibility.
Claude
Why Lebesgue integration needs the f+/f- split but Riemann doesn't
Explains why Lebesgue integration must split functions into positive and negative parts to avoid infinity minus infinity, a trap Riemann integration never hits.
Claude