Lesson 2: It’s Premium
This lesson you’ll have to pay for, I’m afraid!
Back in 1936, when mathematicians were feeling pretty proud of their modern rigorous math. Then Kurt Gödel came along with this bombshell: “Our systems of logic can make statements that they can neither prove nor disprove.” This was just the first of Godel’s “mike drop” theorems.
Gödel’s first theorem was more precise than this, and his proof was tortuous. In this lesson, you’ll learn exactly what the theorem means, and you’ll learn a much simpler proof of it, building on the previous lesson on the Halting Problem.
You want to create an online course? Here’s why you should consider TigYog.
Most online courses are glorified video playlists. One-way streams of lecturers at whiteboards, with the occasional ‘pause the video now and solve!’ If you do bother to pause, you then have to scrub back three minutes to figure out what the lecturer was asking.
TigYog is not video. TigYog is interactive articles. With TigYog, you’re not a classroom lecturer; you’re a private tutor. Your student participates in a one-to-one dialogue that you create. It’s a level of interactivity impossible with video. The hero of the session is your student, not you on your screen (sorry).
Need a quick buck? A while ago someone offered $1000 for a developer to “create a debugger program. This program will take as input the source code of another program, and will analyze that other program and determine if it will run to completion, or have an error, or go into an infinite loop.”
What do you think — would you take the contract?
So you need to solve . You remember the word ‘quadratic’ and something like … or was it ? 😨
Stop trying to memorize the quadratic formula! In this interactive tutorial, you’ll rediscover the quadratic formula with me, and you’ll never have to memorize it again! 💪