---
schema: 1
type: term
title: _proof by contradiction_
description: >-
  A **proof by contradiction** establishes that a claim is true by _assuming its
  opposite_ and showing that this assumption leads to an impossible or
  self-contradictory conclusion — so the original claim must hold. In this
  channel's material, it appears as the worked example through which OpenAI's
  **o1** demonstrates its step-by-step reasoning, along with the proof's impact
  on Ancient Greek mathematics. [^20a397df-10fb-596f-826a-f54787502261@122]
canonical: >-
  https://liquidgold.cc/channel/everyinc/explore/term/proof-by-contradiction-8db121a62906
markdown: >-
  https://liquidgold.cc/channel/everyinc/explore/term/proof-by-contradiction-8db121a62906.md
llms: null
parent: 'https://liquidgold.cc/channel/everyinc/llms.txt'
channel: everyinc
updated: '2026-10-23T22:12:35.346Z'
language: null
children: []
---


# \_proof by contradiction\_

Canonical: https://liquidgold.cc/channel/everyinc/explore/term/proof-by-contradiction-8db121a62906

Parent: [Channel index](https://liquidgold.cc/channel/everyinc/llms.txt)

## Definition

A **proof by contradiction** establishes that a claim is true by _assuming its opposite_ and showing that this assumption leads to an impossible or self-contradictory conclusion — so the original claim must hold. In this channel's material, it appears as the worked example through which OpenAI's **o1** demonstrates its step-by-step reasoning, along with the proof's impact on Ancient Greek mathematics. [^20a397df-10fb-596f-826a-f54787502261@122]

In this channel's captured material, **_proof by contradiction_** appears as a live example of reasoning — not as an abstract aside. The video on **OpenAI's o1** walks through o1 *reasoning its way through a proof by contradiction*, and then connects that proof to its **impact on Ancient Greek mathematics**. It doubles as a demonstration of how a reasoning-optimized model like o1 works: instead of jumping to an answer, it builds a **step-by-step Chain of Thought**, and a proof by contradiction is exactly the kind of task where that step-by-step process visibly pays off. [^20a397df-10fb-596f-826a-f54787502261@122]A proof by contradiction forces a model to hold a premise it *doesn't* believe, chase its consequences carefully, and spot the inconsistency — precisely the multi-step discipline that Chain of Thought reasoning is designed to support. That's why the o1 material uses it as a showcase problem rather than a quick factual query.- A **proof by contradiction** assumes the opposite of what you want to show, derives an impossibility, and concludes the original claim must be true. - The **o1 video** watches the model reason through such a proof end-to-end. [^20a397df-10fb-596f-826a-f54787502261@122] - The proof is tied to its historical role in **Ancient Greek mathematics**. [^20a397df-10fb-596f-826a-f54787502261@122] - It illustrates why **reasoning-optimized architectures** suit multi-step logical tasks better than fast, direct-answer models.