Computability theory

McCarthy Formalism

In computer science and recursion theory the McCarthy Formalism (1963) of computer scientist John McCarthy clarifies the notion of recursive functions by use of the IF-THEN-ELSE construction common to computer science, together with four of the operators of primitive recursive functions: zero, successor, equality of numbers and composition. The conditional operator replaces both primitive recursion and the mu-operator. (Wikipedia).

Video thumbnail

What is McCarthyism? And how did it happen? - Ellen Schrecker

View full lesson: http://ed.ted.com/lessons/what-is-mccarthyism-and-how-did-it-happen-ellen-schrecker In the 1950s, as part of a campaign to expose suspected Communists, thousands of individuals were aggressively investigated and questioned before government panels. Named after its most n

From playlist New TED-Ed Originals

Video thumbnail

Logic: The Structure of Reason

As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be

From playlist Logic & Philosophy of Mathematics

Video thumbnail

Quantum Mechanics -- a Primer for Mathematicians

Juerg Frohlich ETH Zurich; Member, School of Mathematics, IAS December 3, 2012 A general algebraic formalism for the mathematical modeling of physical systems is sketched. This formalism is sufficiently general to encompass classical and quantum-mechanical models. It is then explained in w

From playlist Mathematics

Video thumbnail

Hunting the Communists! - Joseph McCarthy l THE COLD WAR

Joseph McCarthy rose to fame during the 1950s fighting communism on American soil. The ever lingering fear of Soviet spies spreading un-Americanism in the US during the cold war hit a nerve and quickly made him popular in the republican political field. With time though more and more incon

From playlist THE COLD WAR - All Episodes

Video thumbnail

1 Romanticism - In Search of a Definition (Isaiah Berlin 1965)

Isaiah Berlin gives the 1st lecture in a series of 6 on Romanticism and its roots. All 6 lectures: https://www.youtube.com/playlist?list=PLhP9EhPApKE_9uxkmfSIt2JJK6oKbXmd- For Berlin, the Romantics set in motion a vast, unparalleled revolution in humanity’s view of itself. They destroyed

From playlist Social & Political Philosophy

Video thumbnail

Art is for everyone! What is ROMANTICISM?

A quick definition of "Romanticism." Art Lover: Louise McCartney Director: Michael Harrison Written and Produced by Kimberly Hatch Harrison ♦♦♦♦♦♦♦♦♦♦ Ways to support our channel: ► Join our Patreon : https://www.patreon.com/socratica ► Make a one-time PayPal donation: https://www.pay

From playlist Art glossary

Video thumbnail

This is Why Minimalism is a Thing

In this video I talk about why minimalism is a thing people follow in today's society. There is a reason, and it's a good one.

From playlist Inspiration and Life Advice

Video thumbnail

John McCarthy (1927-2011): Artificial Intelligence (complete) - Thinking Allowed -Jeffrey Mishlove

Great news!! Now watch every title and guest in the Thinking Allowed Collection, complete and commercial free. More than 350 programs now streaming. Visit http://thinkingallowed.vhx.tv Start today. Cancel any time. Use promo code THINKNOW for a 50% discount for your first month. http://w

From playlist AI talks

Video thumbnail

26C3: Privacy & Stylometry 3/6

Clip 3/6 Speaker: Mike Brennan Practical Attacks Against Authorship Recognition Techniques Authorship recognition based on linguistics (known as Stylometry) has contributed to literary and historical breakthroughs. These successes have led to the use of these techniques in criminal i

From playlist 26C3: Here be dragons day 2

Video thumbnail

Can you outsmart the fallacy that started a witch hunt? - Elizabeth Cox

Dig into the burden of proof fallacy, which assumes that something is true unless proven false and relies on arguments from ignorance. -- It’s 1950. Anti-communist sentiment in the United States is at an all-time high. Senator Joseph McCarthy claims he has a list of communists who are in

From playlist New TED-Ed Originals

Video thumbnail

Is It Better to Be Polite or Frank?

We live in an age that thinks highly of frankness and directness. But there are – nevertheless – a few reasons why politeness remains a hugely important quality. If you like our films, take a look at our shop (we ship worldwide): https://goo.gl/hMBQQs FURTHER READING “For most of hu

From playlist RELATIONSHIPS

Video thumbnail

History of Science and Technology Q&A for Kids and Others (Jan. 14, 2021)

Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Originally livestreamed at: https://twitch.tv/stephen_wolfram Outline of Q&A: 0:00 Stream starting 2:33 Stephen begins the Q&A 3:33 Begin discussing the history of LISP 8

From playlist Stephen Wolfram Ask Me Anything About Science & Technology

Video thumbnail

History of Science and Technology Q&A (Apr. 7, 2021)

Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Originally livestreamed at: https://twitch.tv/stephen_wolfram/ Outline of Q&A 0:00 Stream starts 2:28 Stephen begins the stream 3:00 History of Lisp 40:40 What was ctrl+en

From playlist Stephen Wolfram Ask Me Anything About Science & Technology

Video thumbnail

Eisenhower - Years of Caution

Portraits of Power - Eisenhower - Years of Caution Narrated by Herny Fonda Dwight David "Ike" Eisenhower was the 34th President of the United States from 1953 until 1961. He was a five-star general in the United States Army during World War II and served as Supreme Commander of the Allied

From playlist Portraits of Power - Those who shaped the Twentieth Century

Video thumbnail

26. Review for Final Exam

The American Novel Since 1945 (ENGL 291) In this review session for the final exam, Professor Hungerford fields practice questions in an open forum so that students know what will be expected of their performance. She offers study advice from her own experience, and gratifies students'

From playlist The American Novel Since 1945 with Amy Hungerford

Video thumbnail

Writing NLP papers | Stanford CS224U Natural Language Understanding | Spring 2021

For more information about Stanford’s Artificial Intelligence professional and graduate programs, visit: https://stanford.io/ai To learn more about this course visit: https://online.stanford.edu/courses/cs224u-natural-language-understanding To follow along with the course schedule and s

From playlist Stanford CS224U: Natural Language Understanding | Spring 2021

Video thumbnail

Is There an Alternative to Political Correctness?

Political correctness aims for some very nice results, but its means have a habit of upsetting a lot of people. Might there be an alternative to it? We think there is, and it’s called Politeness. If you like our films, take a look at our shop (we ship worldwide): https://goo.gl/iVqWJ1 Joi

From playlist WORK + CAPITALISM

Video thumbnail

GoRuCo 2013 - To Know A Garbage Collector by Mike Bernstein

It started as an obsession with making the web application used at my day job faster, and ended with trying to implement new Garbage Collection algorithms in a notoriously insane codebase. Garbage collection is an epic hack and a triumphant abstraction that supports various programming par

From playlist GoRuCo 2013

Video thumbnail

4 The Restrained Romantics - Kant, Schiller & Fichte (Isaiah Berlin 1965)

Isaiah Berlin gives the 4th lecture in a series of 6 on Romanticism and its roots. All 6 lectures: https://www.youtube.com/playlist?list=PLhP9EhPApKE_9uxkmfSIt2JJK6oKbXmd- For Berlin, the Romantics set in motion a vast, unparalleled revolution in humanity’s view of itself. They destroyed

From playlist Social & Political Philosophy

Related pages

John McCarthy (computer scientist) | De Bruijn index | Primitive recursive function | Recursion | Negation | Universal quantification | Propositional formula | Truth table | Logical conjunction | Mathematical induction | Karnaugh map | Recursion (computer science) | Existential quantification