Search for tag: "truth"

24 Media

01:45:18 His 147A 001 (W'23), Lecture 11: Darwin His 147A 001 (W'23), Lecture 11: Darwin	His 147A 001 (W'23), Lecture 11: Darwin science darwin century religion evolution nature theory art god sense species fact truth kind selection scientists charles ideas imagination alright culture From Michael Saler 0 likes 40 plays 0
01:00:39 His147C (W'23): Lecture 9, Part 2… His147C (W'23): Lecture 9, Part 2 (Kierkegaard)	His147C (W'23): Lecture 9, Part 2 (Kierkegaard) kierkegaard stage god sense truth hegel philosophy faith father individual nature relationship thing choice existence stages kind century copenhagen religion gore From Michael Saler 0 likes 32 plays 0
52:57 His 147A (W'23) Lecture 8: J.S. Mill His 147A (W'23) Lecture 8: J.S. Mill	His 147A (W'23) Lecture 8: J.S. Mill mill society truth happiness bentham sense father john knowledge coleridge stuart government india things age psychology kind mind autobiography philosophy form From Michael Saler 0 likes 28 plays 0
01:22:02 ECS20 - W22 - Lecture 4 (2R): Logic 3 ECS20 - W22 - Lecture 4 (2R): Logic 3	ECS20 - W22 - Lecture 4 (2R): Logic 3 Building a circuit for adding two 64-bit values. Tautologies. A formal system for proving theorem. The completeness and soundness theorems for sentential logic. Adding quantifier: first-order… circuit adder tautology formal proofs completeness soundness first-order logic formula truth logic table bit proof kind universe phi assumptions statement variables carry statements axioms function english symbol From Phil Rogaway 0 likes 156 plays 0
01:20:06 ECS20 - W22 - Lecture 3 (2T): Logic 2 ECS20 - W22 - Lecture 3 (2T): Logic 2	ECS20 - W22 - Lecture 3 (2T): Logic 2 Review (particularly of functional completeness). More boolean operators: IMPLIES, IFF, XOR, NAND, NOR. Gates and circuits. A formal treatment of boolean formulas: syntax, truth assignments, and… boolean operators implies xor iff truth assignment truth table equivalence functional completeness nand nor gate circuit truth formula symbols symbol phi parentheses table formulas operators meaning values function assignment operator From Phil Rogaway 0 likes 185 plays 0
01:20:16 ECS20 - W22 - Lecture 2 (1R): Logic 1 ECS20 - W22 - Lecture 2 (1R): Logic 1	ECS20 - W22 - Lecture 2 (1R): Logic 1 Familiar sets and operators on them. The boolean domain and basic operators on booleans (AND, OR, NOT). Representing numbers in binary, and in other bases. Can you represent anything you care about… boolean logic operators logical operators values truth numbers operator table function thing integers notation symbol representation things base negation word digits variables kind formula From Phil Rogaway 0 likes 147 plays 0
47:54 His 147C: Rorty His 147C: Rorty	His 147C: Rorty philosophy language reality imagination reason truth culture tradition pragmatism sense rorty poetry kind rationality norms philosophers form figures things history From Michael Saler 0 likes 85 plays 0
55:17 His 147C: Enlightenment Project of Modernity Pt.… His 147C: Enlightenment Project of Modernity Pt. 2: Habermas	His 147C: Enlightenment Project of Modernity Pt. 2: Habermas rationality reason language ways society sphere century habermas democracy enlightenment truth discussion ideas theory ideal things kind form religion class From Michael Saler 0 likes 55 plays 0
01:00:32 His 147C Lect. 3: The Tractatus His 147C Lect. 3: The Tractatus	His 147C Lect. 3: The Tractatus language vichtenstein philosophy structure propositions tractatus logic war russell facts sense things picture questions style cat form truth mat affairs From Michael Saler 0 likes 73 plays 0
34:44 His 147B Franz Kafka, Part II: The Trial His 147B Franz Kafka, Part II: The Trial	His 147B Franz Kafka, Part II: The Trial kafka joseph law interpretations trial sense nietzsche k. individual fact guilt reality truth priest existence works judge god modernity process From Michael Saler 0 likes 27 plays 0
38:41 His 147B: Kafka, Part 1 His 147B: Kafka, Part 1	His 147B: Kafka, Part 1 kafka father sense kind meaning authority works fact trial truth alienation prague guilt beings franz judaism jews joseph century things From Michael Saler 0 likes 34 plays 0
01:07:22 First Freud Lecture First Freud Lecture	First Freud Lecture freud kind culture century energy mind dreams patients hypnosis beings nietzsche mother father vienna ideas breyer child desires nature truth From Michael Saler 0 likes 89 plays 0
59:08 His 147B: Lecture 4: Nietzsche's Genealogy… His 147B: Lecture 4: Nietzsche's Genealogy of Morals, Part A	His 147B: Lecture 4: Nietzsche's Genealogy of Morals, Part A nietzsche kind history morals wagner truth form genealogy schopenhauer tragedy existence morality perspective fact christianity sense philosophy birth works nature From Michael Saler 0 likes 68 plays 0
01:15:46 HIS 147B: Lecture 2 (recorded in 2021) HIS 147B: Lecture 2 (recorded in 2021)	HIS 147B: Lecture 2 (recorded in 2021) nietzsche schopenhauer existence truth philosophy century kind tragedy things birth nature age reality ways values works science fact art wagner From Michael Saler 0 likes 92 plays 0
04:47 ECS 120 8a:3 introduction to NP-completeness and… ECS 120 8a:3 introduction to NP-completeness and Boolean formulas	ECS 120 8a:3 introduction to NP-completeness and Boolean formulas np problem problems precedence formula negation end algorithm multiplication bar numbers equals table truth symbol sense words completeness parentheses print From David Doty 0 likes 235 plays 0
03:36 ECS 120 0:5 Boolean logic (discrete math review) ECS 120 0:5 Boolean logic (discrete math review)	ECS 120 0:5 Boolean logic (discrete math review) table truth rule negation inputs thing implication bar operations alcohol intuition output booleans p. equality enforces statement bartender tender reason From David Doty 1 likes 160 plays 0