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).
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
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
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
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
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
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
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
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
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
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
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
Emanuel Diaconescu - Donaldson-Thomas invariants and character varieties
Emanuel DIACONESCU (Univ. of Alberta, Canada)
From playlist Algèbre, Géométrie et Physique : une conférence en l'honneur
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
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
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
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
Traveling wave, a failed simulation
It failed because of a bad choice of parameters. http://calculus123.com
From playlist Physics simulations
Unexpected fall in bouldering LOL
Just a funny falling video - Magic Monk isn't always successful :) Enjoy!
From playlist Rock Climbing
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