Logic programming researchers

John McCarthy (computer scientist)

John McCarthy (September 4, 1927 – October 24, 2011) was an American computer scientist and cognitive scientist. He was one of the founders of the discipline of artificial intelligence. He co-authored the document that coined the term "artificial intelligence" (AI), developed the programming language family Lisp, significantly influenced the design of the language ALGOL, popularized time-sharing, and invented garbage collection. McCarthy spent most of his career at Stanford University. He received many accolades and honors, such as the 1971 Turing Award for his contributions to the topic of AI, the United States National Medal of Science, and the Kyoto Prize. (Wikipedia).

John McCarthy (computer scientist)
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

Unix for Programmers - My Computer Science Degree in the Real World

I took a unix for programmers in college while pursuing my computer science degree. Today as a software engineer, I want to see what was carried over from that classroom to the real world of software development. ---------------------------------------------------------- I share and docu

From playlist Computer Science

Video thumbnail

O'Reilly Webcast: Machine Learning for Hackers

We'll introduce programmers to two of the most common tools in the machine learning toolkit: linear regression and logistic regression. We'll show how these two tools let you make a first pass at solving almost any machine learning problem you might face. About John Myles White John Myle

From playlist O'Reilly Webcasts 2

Video thumbnail

Bell Labs' Research (Prof Brian Kernighan) - Computerphile

We ask Bell Labs alumnus and 'C' expert Professor Brian Kernighan about research at Bell Labs Associative Arrays: Coming Soon 'C' Programming Language: https://youtu.be/de2Hsvxaf8M http://www.facebook.com/computerphile https://twitter.com/computer_phile This video was filmed and edited

From playlist Subtitled Films

Video thumbnail

Feynman Bytes Ep 3: Only a Guess (Code)

How do we adapt humanity’s best problem-solving technique, science, to writing code? Professor Richard Feynman was a Nobel-prize winning physicist & a genius. He was also a great educator and thinker on the topic of science. This occasional series on the Continuous Delivery channel looks

From playlist Feynman Bytes

Video thumbnail

People of Science with Brian Cox - Dame Wendy Hall on Alan Turing

Computer Scientist Wendy Hall talks to Brian Cox about one of her personal heroes, Alan Turing, and discusses how his discoveries influenced so much in the modern world. Find out more about Alan Turing in our Google Arts and Culture exhibit: https://artsandculture.google.com/exhibit/peopl

From playlist People of Science with Brian Cox

Video thumbnail

INTERVIEW AT CIRM: PETER SARNAK

Peter Sarnak is a South African-born mathematician with dual South-African and American nationalities. He has been Eugene Higgins Professor of Mathematics at Princeton University since 2002, succeeding Andrew Wiles, and is an editor of the Annals of Mathematics. He is known for his work in

From playlist Jean-Morlet Chair's guests - Interviews

Video thumbnail

The Mind of a Genius: John von Neumann I The Great Courses

If John von Neumann were on LinkedIn, his experience would include the Manhattan Project, early computer science, the atomic bomb, the hydrogen bomb, and the invention of game theory. A famed mathematician, Neumann played a major role in all of these by using applied heuristics. Add heuris

From playlist Science

Video thumbnail

Marvin Minsky

Marvin Minsky Toshiba Professor of Media Arts and Sciences and Computer Science and Engineering, emeritus Head, Society of Mind Group Marvin Minsky was the Toshiba professor of media arts and sciences and computer science and engineering emeritus at MIT. Professor Minsky was a pioneer in

From playlist AI talks

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

Creating World Class Computer Science at Stanford

The panelists discussed Stanford's Computer Science Department within the historical context of higher education, technological innovations, and the Silicon Valley. They talked about how it grew from the university’s administrative needs and those of science and engineering research.

From playlist Stanford Historical Society

Video thumbnail

RailsConf 2018: Ruby: A Family History by Geoffrey Litt

Ruby: A Family History by Geoffrey Litt Rails is made possible by Ruby’s unique combination of deep dynamism and pragmatic elegance. In turn, Ruby inherited many of its core ideas from older languages including Lisp, Smalltalk, and Perl. In this talk, we’ll take a tour of these languages

From playlist RailsConf 2018

Video thumbnail

Simon Wardley, "Cloud Computing - Why IT Matters" - OSCON 09

Simon Wardley (Canonical Ltd) gives his keynote talk, "Cloud Computing - Why IT Matters", at the 2009 Open Source Convention (OSCON). Don't miss an upload! Subscribe! http://goo.gl/szEauh Stay Connected to O'Reilly Media by Email - http://goo.gl/YZSWbO Follow O'Reilly Media: http://plus.

From playlist OSCON 2009

Video thumbnail

Human Learning, After Machine Learning Panel

From the November 1st, 2017 Human AI Collaboration: A Dynamic Frontier Conference; Keith Devlin, Executive Director of the H-STAR Institute at Stanford University moderates a panel with John Perry, Henry Waldgrave Stuart Professor of Philosophy, Emeritus, Stanford University; Pat Langley,

From playlist Human AI Collaboration: A Dynamic Frontier Conference

Video thumbnail

Ruby Conf 2013 - Visualizing Garbage Collection in Rubinius, JRuby and Ruby 2.0

By Pat Shaughnessy In this talk we'll dive into Ruby internals and take a close look at an ugly topic: garbage collection. How do these Ruby VM's allocate memory for new objects? How do they identify unused objects? How do they reclaim memory from garbage objects, allowing it to be used a

From playlist RubyConf 2013

Video thumbnail

Stanford Seminar - Preventing Successful Cyberattacks Using Strongly-typed Actors

Carl Hewitt MIT John Perry Stanford University UC Riverside June 17, 2021 Carl and John discuss how fundamental higher-order theories of mathematical structures of computer science are categorical meaning that they can be axiomatized up to a unique isomorphism thereby removing any ambi

From playlist Stanford EE380-Colloquium on Computer Systems - Seminar Series

Video thumbnail

COMPUTER SCIENCE TERMINOLOGY

Welcome to part one of computer science terminology, where we take a dive into understanding some of the terms used in computer science and software development. We've started with the basics and will continue to get more complex as this series progresses. --------------------------------

From playlist Computer Science

Video thumbnail

What Is Artificial Intelligence? Crash Course AI #1

Artificial intelligence is everywhere and it's already making a huge impact on our lives. It's autocompleting texts on our cellphones, telling us which videos to watch on YouTube, beating us at video games, recognizing us in photos, ordering products in stores, driving cars, scheduling app

From playlist Artificial Intelligence

Related pages

Advice taker | Utility | Lambda calculus | Dartmouth workshop | Garbage collection (computer science) | Alan Turing | Frame problem | Chess | McCarthy 91 function | Mathematics | Primitive recursive function | Artificial intelligence | Circumscription (logic) | Situation calculus | Partial differential equation | Logic programming | Projection (linear algebra) | John von Neumann