# Dana Scott
פרקי פודקאסט מובילים
מְעוּדכָּן:
Dana Stewart Scott (born October 11, 1932) is an American logician who is the emeritus Hillman University Professor of Computer Science, Philosophy, and Mathematical Logic at Carnegie Mellon University; he is now retired and lives in Berkeley, California. His work on automata theory earned him the ACM Turing Award in 1976, while his collaborative work with Christopher Strachey in the 1970s laid the foundations of modern approaches to the semantics of programming languages. He has worked also on modal logic, topology, and category theory.
SUNS: Ouch! PHX loses by 49!
00:00 Four-Minute Offense
7:00 Big Beer Friday tomorrow
11:06 Doug's Big One = Hazen is Handling this Perfectly
31:50 SUNS...Argh
50:30 AZCentral's Dana Scott
1:33:32 CARDINALS: This Could Get Ugly
1:53:02 Odds & Ends
2:09:25 Vs Vegas (I picked the Suns!)
#58 Constructivism and Computational Content - Andrej Bauer
Andrej Bauer has done his PhD at CMU under Dana Scott, and he stands right on the edge between mathematics and computer science. During our conversation it just feels that he can just go on in depth about any topic remotely related to Type Theory and Programming Languages.
Andrej is the person wh…
Bite size highlights from 2025: Chaco to Wind River & Heading Home
Our curtain-raiser series of bite size highlights drawn from the 2025 wrap up episode continues, with two of the most extraordinary ancient places and cultures we visited. And last stop with a legend and friend in California.
Here are the voices, places and tunes you're hearing:
0m - Dana Scott (e…
Bite size highlights from 2025: Guatemala, Central America
Our curtain-raiser series of bite size highlights drawn from the 2025 wrap up episode concludes with this incredibly special and personal group of episodes, from the heart of Mayan culture, Guatemala, Central America.
This was actually the first series recorded in 2025, but took a lot more time to…
SUNS: It's Time for Mat Ishbia to Stand Up
00:00 Four-Minute Offense
9:00 Oops
12:50 Doug's Big One biggie-sized by Wendy's = SUNS: Only an Owner Can Fix That!
44:55 AZCentral Sports' Dana Scott
1:33:18 Town Hall Tuesday
2:35:32 Vs Vegas
#14 aboutlogic | Dana Scott – Lambda Calculus, Forcing & the Foundations of Math
Dana Scott: Turing Award Winner on Logic & Computation
Your support helps us keep these conversations going!
If you’d like to contribute, you can buy us a coffee here: https://buymeacoffee.com/aboutlogic
Get the HoTT Book for free (no advertisement): https://homotopytypetheory.org/book/
Thorsten…
First-Order Extensions of Classical Modal Logic
Eric Pacuit (University of Maryland) gives a talk at the 9th Formal Epistemology Workshop (Munich, May 29–June 2, 2012) titled "First-Order Extensions of Classical Modal Logic". Abstract: The paper focuses on extending to the first order case the semantical program for modalities first introduced …
Suits S01E07 — Play the Man
Pearson Hardman’s mock trial puts Mike against Kyle, forcing him to recover after a broken settlement and decide whether he can use Rachel’s insecurities to win. Harvey faces Dana Scott in a hotel merger that turns personal history into a tactical disadvantage.
Mike’s loss shows the cost of having…
Stochastic Lambda-Calculi
Dana Scott (CMU Pittsburgh and Berkeley) gives a talk at "Progic 2013", the Sixth Workshop on Combining Probability and Logic (17-18 Sept, 2013), titled "Stochastic Lambda-Calculi".
ESPN DOESN'T BELIEVE In Phoenix Suns... Are They Right?
Hey! I'd love to hear your thoughts, send me a voice note.
The Phoenix Suns are aiming to improve on a surprising season playoff berth, but might be held back by one fatal flaw... Erik Ruby is BACK to check in with AZ Central's Dana Scott to discuss if Devin Booker, Dillon Brooks, Jalen Green and …
מנוע חיפוש PODCAST
אתה יכול להשתמש באתר שלנו כדי לחפש3,820,651פודקאסטים ופודקאסטים195,250,925לפי אנשים, מקומות או נושאים.
If I have seen further than others, it is by listening to podcasts and standing upon the shoulders of
giants.
‐ Isaac "Llamacorn" Newton
