Scott on inventing the Logic of Computable Functions to win an argument with Christopher Strachey.

แชร์
ฝัง
  • เผยแพร่เมื่อ 17 ต.ค. 2024

ความคิดเห็น • 1

  • @AlgoNudger
    @AlgoNudger 4 หลายเดือนก่อน

    A hero. ❤

ต่อไป
เล่นอัตโนมัติ
Scott tells how he discovered nondeterministic automata with Michael Rabin in a classic paper.3:16Scott tells how he discovered nondeterministic automata with Michael Rabin in a classic paper.
Scott tells how he discovered nondeterministic automata with Michael Rabin in a classic paper.Turing Awardee Clips
มุมมอง 62
Scott explains the thesis he wrote for Alonzo Church on proof in infinite dimensional geometries.2:45Scott explains the thesis he wrote for Alonzo Church on proof in infinite dimensional geometries.
Scott explains the thesis he wrote for Alonzo Church on proof in infinite dimensional geometries.Turing Awardee Clips
มุมมอง 112
Scott on the origins of computer science at Stanford and teaching Barbara Liskov.1:43Scott on the origins of computer science at Stanford and teaching Barbara Liskov.
Scott on the origins of computer science at Stanford and teaching Barbara Liskov.Turing Awardee Clips
มุมมอง 36
[Gegagedigedagedago] NEW Help Gegagedigedagedago Nugget escape from Nikocado Avocado Challenge00:19[Gegagedigedagedago] NEW Help Gegagedigedagedago Nugget escape from Nikocado Avocado Challenge
[Gegagedigedagedago] NEW Help Gegagedigedagedago Nugget escape from Nikocado Avocado ChallengeFlowerTeam
มุมมอง 3.2M
🔴LIVE : ถ่ายทอดสด การออกรางวัลสลากกินแบ่งรัฐบาล งวดวันที่ 16 ต.ค. 25671:21:13🔴LIVE : ถ่ายทอดสด การออกรางวัลสลากกินแบ่งรัฐบาล งวดวันที่ 16 ต.ค. 2567
🔴LIVE : ถ่ายทอดสด การออกรางวัลสลากกินแบ่งรัฐบาล งวดวันที่ 16 ต.ค. 2567Dailynews Online
มุมมอง 301K
핑크 버블티로 체감되는 요즘 물가00:14핑크 버블티로 체감되는 요즘 물가
핑크 버블티로 체감되는 요즘 물가진영민yeongmin
มุมมอง 6M
เปิดใจ "อาจารย์เบียร์ คนตื่นธรรม" อดีตเคยสุดทุกทาง ถ้าใช้หนี้หมดไปบวชแน่ l [Nickynachat]45:27เปิดใจ "อาจารย์เบียร์ คนตื่นธรรม" อดีตเคยสุดทุกทาง ถ้าใช้หนี้หมดไปบวชแน่ l [Nickynachat]
เปิดใจ "อาจารย์เบียร์ คนตื่นธรรม" อดีตเคยสุดทุกทาง ถ้าใช้หนี้หมดไปบวชแน่ l [Nickynachat]Nickynachat
มุมมอง 475K
HLF Laureate Portraits: Dana S. Scott1:01:22HLF Laureate Portraits: Dana S. Scott
HLF Laureate Portraits: Dana S. ScottHeidelberg Laureate Forum
มุมมอง 755
Kahan on the 8087 and designing Intel's floating point9:26Kahan on the 8087 and designing Intel's floating point
Kahan on the 8087 and designing Intel's floating pointTuring Awardee Clips
มุมมอง 4.4K
Kahan on HP calculators: Solve, Integrate and Matrix Operations8:26Kahan on HP calculators: Solve, Integrate and Matrix Operations
Kahan on HP calculators: Solve, Integrate and Matrix OperationsTuring Awardee Clips
มุมมอง 13K
The Race to Harness Quantum Computing's Mind-Bending Power | The Future With Hannah Fry24:02The Race to Harness Quantum Computing's Mind-Bending Power | The Future With Hannah Fry
The Race to Harness Quantum Computing's Mind-Bending Power | The Future With Hannah FryBloomberg Originals
มุมมอง 2.1M
Russell's Paradox - a simple explanation of a profound problem28:28Russell's Paradox - a simple explanation of a profound problem
Russell's Paradox - a simple explanation of a profound problemJeffrey Kaplan
มุมมอง 8M
The unexpected probability result confusing everyone17:24The unexpected probability result confusing everyone
The unexpected probability result confusing everyoneStand-up Maths
มุมมอง 713K
Kahan on creating IEEE Standard Floating Point7:26Kahan on creating IEEE Standard Floating Point
Kahan on creating IEEE Standard Floating PointTuring Awardee Clips
มุมมอง 3.3K
Aho explains how Lex and YACC revolutionized compiler creation by uniting theory and practice5:06Aho explains how Lex and YACC revolutionized compiler creation by uniting theory and practice
Aho explains how Lex and YACC revolutionized compiler creation by uniting theory and practiceTuring Awardee Clips
มุมมอง 171
SHIN SONIC x TAILS SO BABY Cute story?! (The Sonic Tapes Animation)01:00SHIN SONIC x TAILS SO BABY Cute story?! (The Sonic Tapes Animation)
SHIN SONIC x TAILS SO BABY Cute story?! (The Sonic Tapes Animation)AM Animation
มุมมอง 6M
เทิงบาปเทิงคึดฮอด - หมิว รัชฎาพร ลำเพลินโชว์「Official MV」06:28เทิงบาปเทิงคึดฮอด - หมิว รัชฎาพร ลำเพลินโชว์「Official MV」
เทิงบาปเทิงคึดฮอด - หมิว รัชฎาพร ลำเพลินโชว์「Official MV」สาวน้อยลําเพลินอินดี้ เรคคอร์ด
มุมมอง 159K
กระชากหน้ากาก นักตบทรัพย์ “บอสพอล” | คมชัดลึก | 15 ต.ค.67 | FULL | NationTV2240:20กระชากหน้ากาก นักตบทรัพย์ “บอสพอล” | คมชัดลึก | 15 ต.ค.67 | FULL | NationTV22
กระชากหน้ากาก นักตบทรัพย์ “บอสพอล” | คมชัดลึก | 15 ต.ค.67 | FULL | NationTV22NationTV
มุมมอง 727K
“อาร์ต พศุตม์” เกือบเอี่ยวทุกคดีดัง เอ๊ะไว้ก่อน ไม่มีอะไรได้มาง่ายๆ | แฉ 16 ต.ค. 67 [2/3] | GMM2531:21“อาร์ต พศุตม์” เกือบเอี่ยวทุกคดีดัง เอ๊ะไว้ก่อน ไม่มีอะไรได้มาง่ายๆ | แฉ 16 ต.ค. 67 [2/3] | GMM25
“อาร์ต พศุตม์” เกือบเอี่ยวทุกคดีดัง เอ๊ะไว้ก่อน ไม่มีอะไรได้มาง่ายๆ | แฉ 16 ต.ค. 67 [2/3] | GMM25GMM25Thailand
มุมมอง 282K
ถ่ายทอดสด พร้อมบทวิเคราะห์ l ฟุตบอลถ้วยพระราชทาน King's Cup 50th l รอบชิงชนะเลิศ l SYRIA v THAILAND3:32:30ถ่ายทอดสด พร้อมบทวิเคราะห์ l ฟุตบอลถ้วยพระราชทาน King's Cup 50th l รอบชิงชนะเลิศ l SYRIA v THAILAND
ถ่ายทอดสด พร้อมบทวิเคราะห์ l ฟุตบอลถ้วยพระราชทาน King's Cup 50th l รอบชิงชนะเลิศ l SYRIA v THAILANDช้างศึก - ฟุตบอลทีมชาติไทย
มุมมอง 2.3M
แฉอีก! "บอสกันต์" เพจดังขุดวีรกรรมในอดีต | 17 ต.ค. 67 | ข่าวใหญ่ช่อง806:18แฉอีก! "บอสกันต์" เพจดังขุดวีรกรรมในอดีต | 17 ต.ค. 67 | ข่าวใหญ่ช่อง8
แฉอีก! "บอสกันต์" เพจดังขุดวีรกรรมในอดีต | 17 ต.ค. 67 | ข่าวใหญ่ช่อง8ข่าวช่อง8
มุมมอง 902K
อบโอโซนรถแลมโบหอมทั้งคันงบไม่ถึงร้อย โคตรดี!! 🫨 #บี้ลองของ #bietheska01:00อบโอโซนรถแลมโบหอมทั้งคันงบไม่ถึงร้อย โคตรดี!! 🫨 #บี้ลองของ #bietheska
อบโอโซนรถแลมโบหอมทั้งคันงบไม่ถึงร้อย โคตรดี!! 🫨 #บี้ลองของ #bietheskaBie The Ska
มุมมอง 504K
ทนายเดชา แจ้งความ พระ ว.วชิรเมธี ลั่น คลิปชัดเจนหลอกลงทุน | TODAY18:16ทนายเดชา แจ้งความ พระ ว.วชิรเมธี ลั่น คลิปชัดเจนหลอกลงทุน | TODAY
ทนายเดชา แจ้งความ พระ ว.วชิรเมธี ลั่น คลิปชัดเจนหลอกลงทุน | TODAYTODAY - สำนักข่าวทูเดย์
มุมมอง 182K