John R. Myhill Sr. (11 August 1923 – 15 February 1987) was a British mathematician. (Wikipedia).
Iosif Petrakis: Myhill's system CST revisited
The lecture was held within the framework of the Hausdorff Trimester Program: Types, Sets and Constructions. Abstract: In his seminal paper [1] Myhill developed his formal system CST of sets and functions in order to formalize Bishop's informal system of constructive mathematics developed
From playlist Workshop: "Proofs and Computation"
Help us caption & translate this video! http://amara.org/v/FGii/
From playlist MWRC 2009
James Galway Plays Syrinx by Debussy
James Galway performing Syrinx by Debussy.
From playlist experimental classical
Laurent Bartholdi: Amenable groups - Lecture 2
Abstract: I shall discuss old and new results on amenability of groups, and more generally G-sets. This notion traces back to von Neumann in his study of the Hausdorff-Banach-Tarski paradox, and grew into one of the fundamental properties a group may / may not have -- each time with import
From playlist Mathematical Aspects of Computer Science
Day at Work: Deputy Chief of Staff
Paul Henderson is the Deputy Chief of Staff and Director of Public Safety for the Mayor’s office in San Francisco. He revisits his path to success and shares how he went from living out of his car during college to becoming a legal and political analyst, speaker, and writer. Want more in
From playlist Career Examples
The story of mathematical proof – with John Stillwell
Discover the surprising history of proof, a mathematically vital concept. In this talk John covers the areas of number theory, non-Euclidean geometry, topology, and logic, and peer into the deep chasm between natural number arithmetic and the real numbers. Buy John's book here: https://g
From playlist Livestreams
Mike Einziger and Larry Kasanoff at CERN
Highlights of the visit to CERN of Mike Einziger, guitarist and co-writer of the band Incubus, and Larry Kasanoff, film producer (Tetris). Copyright ©2016 CERN - for terms of use see http://copyright.web.cern.ch/ Producer: CERN Video productions You can follow us on: cern.ch youtube.co
From playlist Music and fun
Live CEOing Ep 515: Design Review of Multicomputation
In this episode of Live CEOing, Stephen Wolfram discusses upcoming improvements and features to the Wolfram Language. If you'd like to contribute to the discussion in future episodes, you can participate through this YouTube channel or through the official Twitch channel of Stephen Wolfram
From playlist Behind the Scenes in Real-Life Software Design
METALLICA JAMES HETFIELD CAR COLLECTION! #shorts
Watch the full video here - https://youtu.be/ysBLhtFAD3I Best known as a co-founder, songwriter, singer, and guitarist for the heavy metal band Metallica, James Hetfield has also gained recognition in the automotive world for his unique collection of entirely bespoke vehicles. While the
From playlist Shorts
What do Doctor Who and CERN have in common?
CERN and British TV show Doctor Who have an unlikely item in common, watch this video to find out what it is. Steven William Moffat OBE is a Scottish television writer and producer, known for his work as showrunner, writer and producer of the British television series Doctor Who and Sherl
From playlist Music and fun
Wolfram Physics Project: Working Session Thursday, May 7, 2020 [Quantum Effects | Part 2]
This is a Wolfram Physics Project working session on Bell's-like inequalities and other quantum effects in the Wolfram Model. Begins at 10:05 Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.am/physics Che
From playlist Wolfram Physics Project Livestream Archive
Quiz Show: Vlogbrothers Face-Off: Hank v. John!
Welcome back to SciShow Quiz Show! In this episode Hank will be competing with older brother John Green in a battle of science related trivia on behalf of Subbable subscribers Anna Dilley & Andrew Villarreal. Hosted by: Michael Aranda ---------------------- Like SciShow? Want to help sup
From playlist Uploads
Computation Layer Webinar: Text Everywhere
Make an activity with Team Desmos! Learn some creative ways to offer verbal instruction and feedback in your activities. Learn how to creatively display and use student text in all components while creating an activity for your own class!
From playlist Computation Layer
We restore a Hewlett-Packard 711A, a 500V power supply from the tube era, in preparation for future high voltage tubery. Our sponsors - PCBWay: fast turn PCBs, https://www.pcbway.com - Electro-Rent: https://www.electrorent.com - Keysight: test instruments: https://www.keysight.com - Samte
From playlist HP Vintage Test Equipment
11. Johannine Christianity: The Gospel
Introduction to New Testament (RLST 152) The Gospel of John is a gospel dramatically different from the Synoptic Gospels. It is full of long dialogues, it speaks of "signs" rather than exorcisms or miracles, and its narrative differs at many points from the Synoptics. Themes in the Gosp
From playlist New Testament History and Literature with Dale B. Martin
BST 305 Lecture 27: John Part 1
About Pilgrim Theological Seminary: Welcome to Pilgrim Theological Seminary. Our mission is to provide high quality, affordable, and easily accessible theological education to those who live in or visit coastal South Carolina and to people around the world through our distance education pr
From playlist PTS: BST 305 - Principles of Biblical Interpretation | CosmoLearning Religious Studies
12. Johannine Christianity: The Letters
Introduction to New Testament (RLST 152) The Jesus of the Gospel of John often speaks in riddles so that his dialogues with characters such as Nicodemus appear confusing, rather than clarifying. The focus, however, of the Gospel of John is on Christology. In the Gospel, Jesus is divine.
From playlist New Testament History and Literature with Dale B. Martin
Laurence Olivier in 'Strange Case of Dr Jekyll and Mr Hyde' (1954) - Radio drama
Strange Case of Dr Jekyll and Mr Hyde by Robert Louis Stevenson. NBC radio anthology series 'Theatre Royal'. Starring and hosted by Sir Laurence Olivier. Broadcast on 30 January 1954.
From playlist Radio Drama Starring Laurence Olivier