## Learn The G Proof by Watching the Nine Videos

### Video 1: Introduction and Overview

(63 minutes; 177 slides)

Short Synopsis of Video 1: Explains what we are doing (and not doing), and how the nine videos all fit together. Puts the nine hours required to watch them in perspective. Describes what we will prove, to wit: there exists a unique, self-causing, omnipotent phenomenon. Teaches the concept of uniqueness. Informally defines God. Teaches what a formal mathematical theory is. Gives glimpses of what will happen in Videos 2-9. (View Long Synopsis of Video 1.)

### Video 2: Crash Course in Geometry Proofs

(64 minutes; 196 slides)

Short Synopsis of Video 2: Geometry proofs are the gateway to learning logic proofs. Mr. Emerson has an astonishing record of success teaching 100% of the students in his geometry classes to do proofs correctly within one week, starting from the first day of class. Video 2 teaches geometry proofs in this same way. (View Long Synopsis of Video 2.)

### Video 3: Crash Course in Sentential Logic

(63 minutes; 359 slides)

Short Synopsis of Video 3: The first layer of logic is called Sentential Logic, in which the smallest parts considered are whole sentences, such as P, Q and R. Teaches the five main sentential symbols and nine Logic Rules. Presents three proofs. The proofs themselves are in black and white, but as they are explained, line by line, colors are superimposed to show how everything weaves together, and how the rules (which pop up) are being applied. All of the material taught in this Video 3 is necessary for understanding Predicate Logic. (View Long Synopsis of Video 3.)

### Video 4: Crash Course in Predicate Logic, Part A: Quantifiers

(62 minutes; 314 slides)

Short Synopsis of Video 4: Predicate Logic is built on Sentential Logic. But Predicate Logic goes further by looking inside of sentences. This Video 4 is the first of two Videos that teach First Order Predicate Logic. Teaches what a predicate is (a sentence fragment with blanks in it), and how variables (nouns) are used to fill in the blanks in predicates to make sentences. Presents three new symbols, Logic Rules 10-14 and two example proofs. This is the logic used to prove God exists. (View Long Synopsis of Video 4.)

### Video 5: Crash Course in Predicate Logic, Part B: Uniqueness

(64 minutes; 382 slides)

Short Synopsis of Video 5: Extends the Predicate Logic presented in Video 4 to cover Uniqueness. Presents two new symbols, Logic Rules 15-17 and two more example proofs. Teaches logical descriptions, which are based on the word "the." The logic presented in this Video is needed to prove that God is unique. (View Long Synopsis of Video 5.)

### Video 6: Undefined Terms, Definitions and First 3 Axioms

(73 minutes; 203 slides)

Short Synopsis of Video 6: This is the first of three Videos (Six, Seven and Eight) that present our proof that God exists. Presents and carefully explains our three undefined terms: phenomena (the nouns in our theory), the "is-a-part-of" predicate, and the "causes" predicate. Our first three definitions are presented: S ("is self caused"), C ("causes something"), and O ("is omnipotent" i.e. causes everything). The first three of our five axioms — A1, A2 and A3 — are presented and justified. (View Long Synopsis of Video 6.)

### Video 7: Last 2 Axioms, Consistency and Informal Proof God Exists

(67 minutes; 204 slides)

Short Synopsis of Video 7: The last two of our five axioms — A4 and A5 — are presented and justified. Teaches how a set of axioms can be shown to be consistent by finding a simple interpretation (aka model) that makes all the axioms true. This is done, which makes Axioms A1-A5 consistent. Presents an informal proof that God exists, using diagrams (this is not a formal proof, and it doesn't count). (View Long Synopsis of Video 7.)

### Video 8: Formal, Rigorous Proof of the G Theorem

(52 minutes; 523 slides)

Short Synopsis of Video 8: Who is the authority here? YOU, the viewer are YOUR OWN authority — the purpose of the Videos is to teach you what you need to know to take all this into your own intellect and see FOR YOURSELF that it all makes sense. Teaches the formal proof using predicate logic that there exists a unique phenomenon that is self-causing and omnipotent, i.e. God exists. It is explained that, by looking through the "window" of formal mathematics, we can now SEE God! (View Long Synopsis of Video 8.)

### Video 9: Consequences of the G Proof

(75 minutes; 198 slides)

Short Synopsis of Video 9: Formally defines God using predicate logic. Discusses the impact of G Theory on science (G Theory is a New Cosmology within which all of science fits), atheism (no longer viable), religion (the Problem of Evil is partially resolved), psychotherapy (patient reports about God should not be dismissed as "delusions"), and on public education, law and government (God cannot be excluded on the basis of separation of church and state). Closing remarks are made on Wonder, Innocence and Upping Pascal's Wager. (View Long Synopsis of Video 9.)