Proof by Contradiction | Algorithms, Blockchain and Cloud

Tag: Proof by Contradiction

Teaching Kids Programming – Two Ways to Prove Square Root of Two is Irrational (proof by contradiction and geometric infinite descent)

October 11, 2025 math, teaching kids programming No Comments

Teaching Kids Programming: Videos on Data Structures and Algorithms How to Prove √2 Is Irrational — Two Methods (Proof by Contradiction & Geometric Infinite Descent) Introduction The statement “√2 …

[Continue Reading...]

The Halting Problem and Its Paradoxical Cousins: When Logic Looks at Itself

June 19, 2025 algorithms, complexity, Computer Science, concept, Technology, tutorial No Comments

The Halting Problem: Can a Program Predict Itself? Problem: Given a program P and input x, can you determine whether P(x) halts or loops forever? Introduced by Alan Turing …

[Continue Reading...]