BrighterTube

Mod-01 Lec-16 The Hilbert System :Completeness

nptelhrd2.25M subscribers

About this video

Hand-picked by a BrighterTube curator · found via round-3 back catalogue of a channel Lumen picks video by video · 82% confidence

Proves completeness of the Hilbert system for propositional logic. Lecture establishing that all tautologies have proofs.

A 32-minute video from nptelhrd: “Mod-01 Lec-16 The Hilbert System :Completeness”.

Science & MathLectures

Video by nptelhrd, played through YouTube's embedded player.

Part of Computer - Logic for CS