Search for tag: "theorem"

Apples to Apples: Using a Patch Foraging Computer Task to Examine Cognitive Effort Costs, Physical Effort Costs, and Motivation in Real Life, Temitope Oshinowo, UG '21 (2316710)

People assess effort in their everyday lives and such assessments may lead them to execute a task or avoid it. In this experiment, we studied effort assessments in a controlled setting using a…

From  Research Princeton Research Day on April 29th, 2021 7 likes 164 plays

13-05-turing-machine-tape

The Turing Machine Test: module proof for equivalence

From  Daniel Macleod on November 15th, 2020 0 likes 242 plays

COS510-preview

COS510 preview - Software Verification

From  Daniel Macleod on September 16th, 2020 0 likes 132 plays

cos326-2020-13-02-rep-inv-set

Reasoning About Modular Programs: Part 2: Proving Representation Invariants

From  Daniel Macleod on August 16th, 2020 0 likes 199 plays

cos326-2020-10-01-generalized-induction-hyps

Generalizing Your Inductive Hypothesis

From  Daniel Macleod on August 16th, 2020 0 likes 200 plays

cos326-2020-08-04-induction-datatypes

Did I Get it Right? Part 4: Induction for Datatypes

From  Daniel Macleod on August 16th, 2020 0 likes 172 plays

cos326-2020-08-03-induction-lists

Did I Get it Right? Part 3: Induction for Lists

From  Daniel Macleod on August 16th, 2020 0 likes 195 plays

cos326-2020-08-02-induction-nats

Did I Get it Right? Part 2: Induction for Naturals

From  Daniel Macleod on August 16th, 2020 0 likes 181 plays

Proof of the Free Will Theorem

Lecture 5 | Free Will Lecture Series | Old news to physicists. Descartes and Leibniz disproved. The Janus universe. Left/right symmetry. Satisfying Curie. Hidden variable theories. Random vs.…

From  Broadcast Center Staff on October 3rd, 2014 0 likes 1,795 plays

The Theorem's Implications for Science and Philosophy

Lecture 6 | Free Will Lecture Series | Consistency proofs and truth. Godel and truth. Determinism in philosophy and science departments. Scientific experiments and free will. Surprise and…

From  Broadcast Center Staff on December 9th, 2013 0 likes 1,075 plays