"From Logic to Technology and Back," Moshe Y. Vardi

Sdílet
Vložit
  • čas přidán 26. 06. 2024
  • 2022 Thomas and Yvonne Williams Lecture for the Advancement of Logic and Philosophy, University of Pennsylvania

Komentáře •

Další v pořadí
Automatické přehrávání
“How Logic Morphed from Museum Piece to Marvel," Hilary Putnam1:30:16“How Logic Morphed from Museum Piece to Marvel," Hilary Putnam
“How Logic Morphed from Museum Piece to Marvel," Hilary PutnamPenn Video Network
zhlédnutí 834
"Computation: From Axiomatization to Embodiment," William Bialek, Wilfried Sieg, and Umesh Vazirani2:45:45"Computation: From Axiomatization to Embodiment," William Bialek, Wilfried Sieg, and Umesh Vazirani
"Computation: From Axiomatization to Embodiment," William Bialek, Wilfried Sieg, and Umesh VaziraniPenn Video Network
zhlédnutí 328
"Objectivity in Mathematics," Penelope Maddy1:48:48"Objectivity in Mathematics," Penelope Maddy
"Objectivity in Mathematics," Penelope MaddyPenn Video Network
zhlédnutí 3K
Me: Don't cross there's cars coming00:16Me: Don't cross there's cars coming
Me: Don't cross there's cars comingLOL
zhlédnutí 15M
MICHAJLOV feat. SEPAR - PAC-MAN prod. MARYS (Official Video)03:04MICHAJLOV feat. SEPAR - PAC-MAN prod. MARYS (Official Video)
MICHAJLOV feat. SEPAR - PAC-MAN prod. MARYS (Official Video)1312 Records
zhlédnutí 289K
路飞被小孩吓到了#海贼王#路飞00:41路飞被小孩吓到了#海贼王#路飞
路飞被小孩吓到了#海贼王#路飞路飞与唐舞桐
zhlédnutí 62M
He really risked it all for this kickflip 😳🤯00:24He really risked it all for this kickflip 😳🤯
He really risked it all for this kickflip 😳🤯House of Highlights
zhlédnutí 6M
Multidimensional IRT Equating1:44:06Multidimensional IRT Equating
Multidimensional IRT EquatingNCME
zhlédnutí 1,8K
Hot Topics in Computing Prof. Michael Bronstein1:08:04Hot Topics in Computing Prof. Michael Bronstein
Hot Topics in Computing Prof. Michael BronsteinSymposia at CSAIL
zhlédnutí 7K
Knowing How to Tell a Good Story Is Like Having Mind Control | Alan Alda | Big Think6:58Knowing How to Tell a Good Story Is Like Having Mind Control | Alan Alda | Big Think
Knowing How to Tell a Good Story Is Like Having Mind Control | Alan Alda | Big ThinkBig Think
zhlédnutí 295K
(1) Back to the Future of Chair's Body Opening and Awakening Phrases20:35(1) Back to the Future of Chair's Body Opening and Awakening Phrases
(1) Back to the Future of Chair's Body Opening and Awakening PhrasesPenn Video Network
zhlédnutí 6K
Manfred Morari (University of Pennsylvania): "A Practitioner's Perspective"34:20Manfred Morari (University of Pennsylvania): "A Practitioner's Perspective"
Manfred Morari (University of Pennsylvania): "A Practitioner's Perspective"MIT Institute for Data, Systems, and Society
zhlédnutí 5K
Mark Zuckerberg & Yuval Noah Harari in Conversation1:33:31Mark Zuckerberg & Yuval Noah Harari in Conversation
Mark Zuckerberg & Yuval Noah Harari in ConversationYuval Noah Harari
zhlédnutí 2,8M
The way we think about work is broken | Barry Schwartz8:03The way we think about work is broken | Barry Schwartz
The way we think about work is broken | Barry SchwartzTED
zhlédnutí 507K
Goals vs. Systems: HOW TO FAIL AND STILL WIN BIG by Scott Adams4:43Goals vs. Systems: HOW TO FAIL AND STILL WIN BIG by Scott Adams
Goals vs. Systems: HOW TO FAIL AND STILL WIN BIG by Scott AdamsProductivity Game
zhlédnutí 170K
How to Use Writing to Sharpen Your Thinking | Tim Ferriss6:09How to Use Writing to Sharpen Your Thinking | Tim Ferriss
How to Use Writing to Sharpen Your Thinking | Tim FerrissTim Ferriss
zhlédnutí 854K
HOW DID HE WIN? 😱00:33HOW DID HE WIN? 😱
HOW DID HE WIN? 😱Topper Guild
zhlédnutí 39M
Taryho a Ajku si fanoušci najdou úplně všude! 😅😆00:26Taryho a Ajku si fanoušci najdou úplně všude! 😅😆
Taryho a Ajku si fanoušci najdou úplně všude! 😅😆Tary
zhlédnutí 228K
Sock Check 🧦00:23Sock Check 🧦
Sock Check 🧦Anwar Jibawi
zhlédnutí 13M
When You Get Ran Over By A Car...00:15When You Get Ran Over By A Car...
When You Get Ran Over By A Car...Jojo Sim
zhlédnutí 22M
Unspillable Plate to Prevent Messy Lunch Time 🥤✨ #parentinghacks #gadgets00:28Unspillable Plate to Prevent Messy Lunch Time 🥤✨ #parentinghacks #gadgets
Unspillable Plate to Prevent Messy Lunch Time 🥤✨ #parentinghacks #gadgetsBraincatchers
zhlédnutí 13M
ZKOUŠIME MYSTERY OBJEDNÁVKU Z McDONALDU 😅01:00ZKOUŠIME MYSTERY OBJEDNÁVKU Z McDONALDU 😅
ZKOUŠIME MYSTERY OBJEDNÁVKU Z McDONALDU 😅Stejk
zhlédnutí 177K
Frank Wild ft. Ainka - Bunny Hop (Official Music Video)02:43Frank Wild ft. Ainka - Bunny Hop (Official Music Video)
Frank Wild ft. Ainka - Bunny Hop (Official Music Video)Frank Wild
zhlédnutí 792K
Send this to an artist… 😉 #shortsart00:19Send this to an artist… 😉 #shortsart
Send this to an artist… 😉 #shortsartArtistomg
zhlédnutí 10M