Lattice theorists

Alfred Horn

Alfred Horn (February 17, 1918 – April 16, 2001) was an American mathematician notable for his work in lattice theory and universal algebra. His 1951 paper "On sentences which are true of direct unions of algebras" described Horn clauses and Horn sentences, which later would form the foundation of logic programming. (Wikipedia).

Alfred Horn
Video thumbnail

To you, who was Albert Einstein?

Subscribe to our YouTube Channel for all the latest from World Science U. Visit our Website: http://www.worldscienceu.com/ Like us on Facebook: https://www.facebook.com/worldscienceu Follow us on Twitter: https://twitter.com/worldscienceu

From playlist Science Unplugged: Special Relativity

Video thumbnail

Teach Astronomy - Einstein

http://www.teachastronomy.com/ Albert Einstein was the most famous scientist of the twentieth century and perhaps of all time. The man who invented the theories of special and general relativity was an unconventional scientist who spent most of his career outside the mainstream. His Gree

From playlist 07. Geology and Physics

Video thumbnail

Did Albert Einstein believe in God?

What made Albert Einstein one of the greatest scientific geniuses the world has ever known? His scientific breakthroughs revolutionized the way we understand the universe. The World Science Festival, in partnership with the 92Y’s 7 Days of Genius Festival, presents an in-depth look into th

From playlist The Life and Work of Albert Einstein

Video thumbnail

Alfred Mele - Is Free Will an Illusion?

Some philosophers and scientists claim that because every event is determined by prior events, including every event in our brains, free will cannot be real. What are the arguments and evidence? Key is the Libet experiment, which seems to show that our brains have already made a decision—w

From playlist Understanding Free Will - Closer To Truth - Core Topic

Video thumbnail

French Horn: Interview and demonstration with principal John Cerminaro | Music | Khan Academy

Created by All Star Orchestra. Watch the next lesson: https://www.khanacademy.org/humanities/music/music-instruments-orchestra/brass-music/v/trumpet-interview-and-demonstration-with-principal-david-bilger?utm_source=YT&utm_medium=Desc&utm_campaign=music Missed the previous lesson? https

From playlist Instruments of the orchestra | Music | Khan Academy

Video thumbnail

Der Nürnberger Prozess - Das Urteil (1/9) / Hauptkriegsverbrecher-Prozess

Auch als DVD erhältlich: http://amzn.to/2q9NUZk ** Prozess des Jahrhunderts, Jahrhundertprozess, 8 Richter, Anklage, Martin Bormann, Londoner Charta, 2500 Dokumente und eidesstattliche Erklärungen, 33 Berichte von Augenzeugen aus den von Deutschland besetzten Ländern zeugen von den Verbre

From playlist Der Nürnberger Prozess - Das Urteil

Video thumbnail

Is Free Will an Illusion? | Episode 1110 | Closer To Truth

Is free will an illusion? Some philosophers and scientists claim that because every event is determined by prior events, including every event in our brains, free will is not real. What are the arguments, the evidence? Featuring interviews with Daniel Dennett, Alfred Mele, Patrick Haggard,

From playlist Closer To Truth | Season 11

Video thumbnail

Photographer’s Journey Part 3: Darwin’s Actual Finches | Nat Geo Live

(Part 3 of 3) National Geographic photographer Robert Clark brings new life to Darwin's iconic science and learns how "survival of the fittest" is at work today at a drug-resistant tuberculosis jail in Siberia. ➡ Subscribe: http://bit.ly/NatGeoSubscribe ➡ Get More Nat Geo Live: http://bit.

From playlist National Geographic Live!: Season 9

Video thumbnail

What Happened to Rudolf Hess' Plane?

Go to: https://curiositystream.thld.co/markfelton_0422 and use the code MARKFELTON to save 25% off today, that's only $14.99 a year. Thanks to Curiosity Stream for sponsoring today's video! The strange story of Rudolf Hess arriving in Scotland in 1941 remains unresolved even today. But wh

From playlist World War II Leaders

Video thumbnail

Gravity Ink. - Einstein's Gravity (Episode 1)

In 1907 a young Albert Einstein was looking for a way to extend his special theory of relativity to include acceleration. It took him eight years to come up with the mathematical solution that we know as the general theory of relativity. Do you want to know more about The Gravitational Un

From playlist Modern Physics

Video thumbnail

The Whole Saga of the Supercontinents

PBS Member Stations rely on viewers like you. To support your local station, go to http://to.pbs.org/DonateEons ↓ More info below ↓ The study of natural history is the study of how the world has changed but Earth itself is in a constant state of flux -- because the ground beneath your fee

From playlist Journeys Through Geologic Time

Video thumbnail

Lithuania Caught Between Poland and Soviet Russia (Polish-Lithuanian War Documentary)

Sign up for Curiosity Stream and get Nebula bundled in: https://curiositystream.com/thegreatwar Like the other Baltic states, Lithuania declared independence at the end of World War 1 and was caught in the chaotic and violent situation of 1919 and 1920 when much of Eastern Europe was in t

From playlist Russian Civil War(s) 1917 - 1923

Video thumbnail

WEIRDEST Headphone Site! ... and MORE! IMG! #27

Like VSAUCE on facebook! http://www.facebook.com/VsauceGaming ** LINKS ** Chicken and the Egg(shell): http://9gag.com/gag/86452/ Lock and Load: http://www.reddit.com/r/pics/comments/fy2wu/lock_and_load/ Have a knife day!: http://www.stickycomics.com/have-a-knife-day/ Zombie

From playlist IMG!

Video thumbnail

NOVA: Hello, this is Earth

Jill Tartar, director of the SETI Institute, has thought long and hard about what we could, should, and would say to an alien civilization. Don't miss the new season of NOVA scienceNOW, airing every Tuesday this summer. Watch past episodes of the program, try out interactives, and mo

From playlist Space + Flight

Related pages

Mathematics Genealogy Project | Mathematics | Horn clause | Universal algebra | Logic programming