Modal logic

Modal collapse

In modal logic, modal collapse is the condition in which every true statement is necessarily true, and vice versa; that is to say, there are no contingent truths, or to put it another way, that "everything exists necessarily". In the notation of modal logic, this can be written as . In the context of philosophy, the term is commonly used in critiques of ontological arguments for the existence of God and the principle of divine simplicity. For example, Gödel's ontological proof contains as a theorem, which combined with the axioms of system S5 leads to modal collapse. Since some regard divine freedom as essential to the nature of God, and modal collapse as negating the concept of free will, this then leads to the breakdown of Gödel's argument. (Wikipedia).

Video thumbnail

Why Quantum Mechanics Makes No Sense (But Still Works) - Collapse of the Wave Function (Parth G)

Go to Squarespace.com for a free trial, and when you’re ready to launch, go to http://www.squarespace.com/parthg to save 10% off your first purchase of a website or domain. #collapseofthewavefunction #wavefunctioncollapse #copenhageninterpretation The concept of "wave function collapse",

From playlist Quantum Physics by Parth G

Video thumbnail

When and why do buildings collapse?

Buildings are engineered to be sturdy and withstand the test of time but sometimes things can go terribly wrong. When this happens it can lead to catastrophic consequences such as the death of many people. One example of this is the Sampoong Department Store collapse in South Korea in 19

From playlist Engineering Wonders

Video thumbnail

Shopping Cart Truck Mishap

I guess this is what happens when you don't put anything up to keep the shopping carts from falling out of the truck.

From playlist Inertia

Video thumbnail

The structure of instability in moduli theory - Daniel Halpern-Leistner

Daniel Halpern-Leistner Member, School of Mathematics October 21, 2014 In many examples of moduli stacks which come equipped with a notion of stable points, one tests stability by considering "iso-trivial one parameter degenerations" of a point in the stack. To such a degeneration one can

From playlist Mathematics

Video thumbnail

Fatigue Failure Analysis

In this video lecture we will learn about the phenomenon of fatigue failure. Here concepts like endurance limit, crack propagation,SN diagram, Goodman diagram and Soderberg diagram are explained in a conceptual way. A detailed article on fatigue failure anlaysis is given here - https://www

From playlist Mechanical Engineering

Video thumbnail

呼叫魚

好恐佈,咁都食得落口

From playlist Crazy Stuff

Video thumbnail

ML4Audio- Data2vec paper discussion

In this session of the ML 4 Audio Study group, we discussed about Data2vec. You can find the slides in https://github.com/Vaibhavs10/ml-with-audio/blob/master/slides/ml-4-audio-paper-reading-3-data2vec.pdf Paper link: https://arxiv.org/abs/2202.03555 Join this group and future discussio

From playlist Machine Learning for Audio

Video thumbnail

JupyterLab Weekly Dev Meeting, February 3, 2017

Meeting of the JupyterLab development team, February 3, 2017 Meeting Notes: https://jupyter.hackpad.com/JupyterLabNotebook-Weekly-Meetings-UUJ3gIQ3iBS

From playlist Jupyter / IPython dev meetings

Video thumbnail

4 building demolition methods

Buildings can become unsafe over time. Unsafe buildings can collapse -- to prevent this, experts make sure these buildings collapse in a controlled manner, which is called controlled demolition. ⏰🌁 The controlled demolition of a building is an engineering art form. In today’s video, we hi

From playlist Engineering Wonders

Video thumbnail

Interactive Websites with jQuery and Bootstrap, by Anton Ulyanov

We've seen how to quickly make websites look great with Boostrap, but we can also make our sleek websites interactive by combining the CSS library with jQuery — a popular library for JavaScript. In this seminar, we'll cover the basics of the Bootstrap and jQuery libraries, and then see how

From playlist CS50 Seminars 2018

Video thumbnail

How To (Safely) Demolish A Building

When demolition companies “blow up” a skyscraper, they’re actually imploding the structure. So how do they collapse a building without destroying everything around it? Learn more at HowStuffWorks.com: http://science.howstuffworks.com/engineering/structural/building-implosion.htm Share on

From playlist Wackiest Comment Threads

Video thumbnail

PGGAN | Progressive Growing of GANs for Improved Quality, Stability, and Variation (part 2) | AISC

Toronto Deep Learning Series, 29 October 2018 Part 1: https://youtu.be/q7_TCtI2188 For slides and more information, visit: https://tdls.a-i.science/events/2018-10-22/ Paper: https://arxiv.org/abs/1710.10196 Speaker: Andrew Martin (Logojoy) Host: Logojoy Date: Oct 29th, 2018 Progressi

From playlist Generative Models

Video thumbnail

SDS 619: Tools for Deploying Data Models into Production — with Erik Bernhardsson

#DeployingModels #SpotifyRecommendationSystem #DataScienceInterview @Jon Krohn speaks with Erik Bernhardsson, the man who invented Spotify’s original music recommendation system. They address the different ways to interview a data science candidate, how to deploy a data model into the clo

From playlist Super Data Science Podcast

Video thumbnail

AI Weekly Update - March 29th, 2021 (#30)!

Thank you for watching! Please Subscribe! Content Links: Recursive Classification: https://ai.googleblog.com/2021/03/recursive-classification-replacing.html Industrial Assembly via RL: https://arxiv.org/pdf/2103.11512.pdf Model-based RL in Healthcare: https://twitter.com/christina_x_ji/st

From playlist AI Research Weekly Updates

Video thumbnail

Alexandre Alahi: "Socially-aware AI for Vehicle Autonomy"

Mathematical Challenges and Opportunities for Autonomous Vehicles 2020 Workshop I: Individual Vehicle Autonomy: Perception and Control "Socially-aware AI for Vehicle Autonomy" Alexandre Alahi - École Polytechnique Fédérale de Lausanne (EPFL) Abstract: Artificial Intelligence (AI) is pois

From playlist Mathematical Challenges and Opportunities for Autonomous Vehicles 2020

Video thumbnail

How Technology Gives Insight into Human Anatomy and Disease

(January 12, 2010) Geoffrey D. Rubin, M.D., Stanford Professor of Radiology and Diagnostic Radiology, discusses the various radiology technologies, their uses, and the positive changes they are making in medical diagnosis. Stanford Mini Med School is a series arranged and directed by S

From playlist Lecture Collection | Mini Med School

Video thumbnail

Traveling wave, a failed simulation

It failed because of a bad choice of parameters. http://calculus123.com

From playlist Physics simulations

Video thumbnail

Unexpected fall in bouldering LOL

Just a funny falling video - Magic Monk isn't always successful :) Enjoy!

From playlist Rock Climbing

Video thumbnail

Use native HTML elements & CSS for controls, not divs + JS libraries

You can see the live demo here https://codepen.io/thebabydino/pen/GvxaLe If the work I've been putting out since early 2012 has helped you in any way or you just like it, please consider supporting it to help me stay afloat. You can do so in one of the following ways: * you can be a cool

From playlist CSS variables

Related pages

Gödel's ontological proof | S5 (modal logic) | Modal logic