[MINI] Theorem Provers

How do we design robots and autonomous vehicles that understand the unwritten rules of human behavior? Kyle speaks with Cornell Tech professor Wendy Ju about implicit interaction, "Wizard of Oz" prototyping, and what studying pedestrians, self-driving cars, and even robotic furni ...  Afficher plus

The data we collect about ourselves can tell us a lot—but only if the technology collecting it actually fits into our lives. Daniel Epstein explores personal informatics, from fitness trackers and food journals to baby tracking and AI, and explains why abandoning a tracking tool ...  Afficher plus

Transcript http://nav.al/prove 

A mathematical method by which one party (the prover) can prove to another party (the verifier) that something is true, without revealing any information apart from the fact that this specific statement is true. CyberWire Glossary link: https://thecyberwire.com/glossary/zero-know ...  Afficher plus

The nature of proof and mathematics as a creative enterprise. Not all that is true can be proved as such, the high hopes of David Hilbert for placing the entirety of mathematics on a "firm foundation", the mathematical world-shattering results of Kurt Gödel which frustrated that ...  Afficher plus

Transcript http://nav.al/theory