This lecture explores the concept of oracles, certificates, and verification in the context of complexity theory. Oracles historically provided immediate answers, while certificates serve as concise proofs that a solution is correct. The class NP defines problems whose solutions can be efficiently verified with certificates, posing the famous P versus NP question.