Theoretical computer science

Angelic non-determinism

In computer science, angelic non-determinism is the execution of a nondeterministic algorithm where particular choices are declared to always favor a desired result, if that result is possible. For example, in halting analysis of a Nondeterministic Turing machine, the choices would always favor termination of the program. The "angelic" terminology comes from the Christian religious conventions of angels being benevolent and acting on behalf of an omniscient God. (Wikipedia).

Video thumbnail

Mahmoud Ayoub - Did God Create Evil?

Can God and the enormity of evil both exist? To theists, it's the problem of evil, which they struggle to resolve. To atheists, it's the argument from evil, which they wield like a sword. Theists try to absolve God by differentiating 'God allowing evil' from 'God creating evil'. But if God

From playlist Big Questions About God - Closer To Truth - Core Topic

Video thumbnail

Astrophysics and Religion

Many religions have spent time on two things: trying to generate feelings of awe and nudging us to be kinder. Surprisingly, and unwittingly, these are tasks which astrophysics is also rather good at. Please subscribe here: http://tinyurl.com/o28mut7 If you like our films take a look at our

From playlist SELF

Video thumbnail

Nihilism: The Belief in Nothing

Nihilism: The Belief In Nothing - https://aperture.gg/nihilism Become smarter in 5 minutes by signing up for free today: http://cen.yt/mbaperture2 Follow me on Instagram: https://www.instagram.com/mcewen/ For some, the meaning of life is the love we share with friends, family, and our lov

From playlist Philosophy & Psychology 🧠

Video thumbnail

Does God exist? Science does not have an answer.

Support me on Patreon: https://www.patreon.com/Sabine Today we will talk about the question whether god exists. I know that some of you have been wondering what has happened to me that I go on about this, but I swear at the end of this video it’ll all make sense! As some of you have poin

From playlist Science Explainers

Video thumbnail

Does free will violate the laws of physics? | Sean Carroll

Sean Carroll: We might solve free will one day. But here’s why I doubt it. Subscribe to Big Think on YouTube ► https://www.youtube.com/channel/UCvQECJukTDE2i6aCoMnS-Vg?sub_confirmation=1 Up next, The great free will debate ► https://youtu.be/3O61I0pNPg8 Debates about the existence of fre

From playlist Devil's Advocate | Big Think

Video thumbnail

Anti-Natalism: The Argument To Stop Giving Birth

Read the story: https://aperture.gg/blogs/the-universe/anti-natalism Merch: https://aperture.gg/merch The philosophy of anti-natalism is that thought that human procreation is unethical. The belief that any action with suffering as its byproduct should not be encouraged, no matter how muc

From playlist Philosophy & Psychology 🧠

Video thumbnail

Exploring the nature of religious exclusion

Tony Blair discusses religious exclusion after a student asks how we can make people genuinely love and care about one another when they believe those outside their faith traditions are outside God's grace.

From playlist Faith and Globalization

Video thumbnail

Why Is Everyone Obsessed With The Illuminati?

Check us out on iTunes! http://dne.ws/1NixUds Please Subscribe! http://testu.be/1FjtHn5 The Illuminati is thought to be controlling the strings of the entire world. But who are they really and how much power do they actually have? + + + + + + + + Previous Episode: Science Says These 6

From playlist Why Are There So Many Conspiracy Theories?

Video thumbnail

Programming by Sketching

(October 9, 2009) Ras Bodik, from UC Berkeley Computer Science, discusses how partial programs can communicate programmer insight, how suitable synthesis algorithm completes the mechanics, and how end-user programming may be decomposable into partial program completion. Stanford Univers

From playlist Lecture Collection | Human-Computer Interaction Seminar (2009-2010)

Video thumbnail

Problem of Free Will & Determinism

These are two talks that were given by Ricky Sebold back in 2013 at La Trobe University as part of an introductory philosophy series on philosophical problems. Lecture 1: Hard Determinism & Libertarianism If the world is causally determined, does this mean people no longer have free will?

From playlist Free Will, Determinism, & Action

Video thumbnail

Angels Hastening: The Karbalāʾ Dreams - Christopher Clohessy

Author’s Voice Topic: Angels Hastening: The Karbalāʾ Dreams Speaker: Christopher Clohessy Affiliation: Faculty member of Pontifical Institute for Arabic and Islamic Studies (PISAI), visiting lecturer at the Pontifical Beda College Date: March 10, 2022 When, on an autumn Medina night in

From playlist Historical Studies

Video thumbnail

William Lane Craig: In Quest of the Historical Adam | Closer To Truth Chats

Analytic philosopher and Christian apologist William Lane Craig discusses his recent book, In Quest of the Historical Adam. Was Adam a real historical person? And if so, who was he and when did he live? Craig sets out to answer these questions through a biblical and scientific investigatio

From playlist Closer To Truth Chats

Video thumbnail

Trish Costello: Equity Crowdfunding Platforms

Trish Costello is the Founder and CEO of Portfolia, a collaborative equity investing platform. Previously, she led and developed the prestigious Kauffman Fellows program for venture capitalists. In this talk, Trish discusses equity crowdfunding platforms and changes in venture capital.

From playlist MS&E 476: Entrepreneurship through Lens of Venture Capital (2015)

Video thumbnail

Immigration Law Symposium Panel 6

This Immigration Law Symposium was recorded at UC Irvine School of Law on February 17-18, 2011. Our labor markets rely heavily on unauthorized workers, yet the law affords these workers only modest workplace protections. Restrictionists condemn sanctuary cities while praising Arizona's S.

From playlist UC Irvine School of Law: 2012 Lectures & Seminar Series

Video thumbnail

Lozenge Tilings and the Gaussian Free Field on a Cylinder - Marianna Russkikh

Probability Seminar Lozenge Tilings and the Gaussian Free Field on a Cylinder Marianna Russkikh California Institute of Technology Date: November 18, 2022 We discuss new results on lozenge tilings on an infinite cylinder, which may be analyzed using the periodic Schur process introduced

From playlist Mathematics

Video thumbnail

Hegel's Phenomenology of Spirit - Introduction (Bernstein - 2007)

Professor J.M. Bernstein introduces Hegel and discusses his initial moves and philosophical project, including the departure from Kant and Kantianism. This is the first lecture in his 2007 course on Hegel's Phenomenology of Spirit, known as "the Bernstein Tapes". Note, the audio has been h

From playlist Hegel

Video thumbnail

Does ESP Reveal Spirit Existence? | Episode 603 | Closer To Truth

Parapsychologists are sure ESP is real. Skeptics are sure it is not. But if ESP is real, would ESP need to go beyond physical laws, reaching into unknown non-physical realms? Featuring interviews with Stephen Braude, Marilyn Schlitz, Dean Radin, Robert Park, and Charles Tart. Season 6, Ep

From playlist Closer To Truth | Season 6

Video thumbnail

[BOURBAKI 2018] 23/06/2018 - 3/4 - Alessio FIGALLI

Alessio FIGALLI On the Monge–Ampère equation The Monge–Ampère equation is a nonlinear PDE arising in several problems in the areas of analysis and geometry, such as the prescribed Gaussian curvature equation, affine geometry, optimal transportation, etc. In this talk I will first give a g

From playlist BOURBAKI - 2018

Video thumbnail

Michael Tooley - Does Evil Disprove God?

How could God be both all-powerful and all-good? Philosophers of religion offer 'defenses' (no logical contradiction between evil and God's existence) and 'theodicies' (complete systems explaining why God allows evil). But do they work? For more on information and video interviews with Mi

From playlist Big Questions About God - Closer To Truth - Core Topic

Video thumbnail

(Part 2) The Palamite Controversy: A Thomistic Analysis by Fr. Peter Totleben, O.P.

A reading of chapter 2 (God and His Activity in the World: A Thomistic Approach) of "The Palamite Controversy: A Thomistic Analysis" by Peter Totleben, O.P. https://www.academia.edu/35580908/The_Palamite_Controversy_A_Thomistic_Analysis

From playlist Palamas and Thomism

Related pages

Nondeterministic Turing machine | Nondeterministic algorithm