Formalism (deductive) | Philosophy of mathematics
In the philosophy of mathematics, formalism is the view that holds that statements of mathematics and logic can be considered to be statements about the consequences of the manipulation of strings (alphanumeric sequences of symbols, usually as equations) using established manipulation rules. A central idea of formalism "is that mathematics is not a body of propositions representing an abstract sector of reality, but is much more akin to a game, bringing with it no more commitment to an ontology of objects or properties than ludo or chess." According to formalism, the truths expressed in logic and mathematics are not about numbers, sets, or triangles or any other coextensive subject matter — in fact, they aren't "about" anything at all. Rather, mathematical statements are syntactic forms whose shapes and locations have no meaning unless they are given an interpretation (or semantics). In contrast to mathematical realism, logicism, or intuitionism, formalism's contours are less defined due to broad approaches that can be categorized as formalist. Along with realism and intuitionism, formalism is one of the main theories in the philosophy of mathematics that developed in the late nineteenth and early twentieth century. Among formalists, David Hilbert was the most prominent advocate. (Wikipedia).
Quantum Mechanics -- a Primer for Mathematicians
Juerg Frohlich ETH Zurich; Member, School of Mathematics, IAS December 3, 2012 A general algebraic formalism for the mathematical modeling of physical systems is sketched. This formalism is sufficiently general to encompass classical and quantum-mechanical models. It is then explained in w
From playlist Mathematics
Logic: The Structure of Reason
As a tool for characterizing rational thought, logic cuts across many philosophical disciplines and lies at the core of mathematics and computer science. Drawing on Aristotle’s Organon, Russell’s Principia Mathematica, and other central works, this program tracks the evolution of logic, be
From playlist Logic & Philosophy of Mathematics
http://www.teachastronomy.com/ Logic is a fundamental tool of the scientific method. In logic we can combine statements that are made in words or in mathematical symbols to produce concrete and predictable results. Logic is one of the ways that science moves forward. The first ideas of
From playlist 01. Fundamentals of Science and Astronomy
Sets, logic and computability | Math History | NJ Wildberger
In this video we give a very quick overview of a highly controversial period in the development of modern mathematics: the rise of set theory, logic and computability in the late 19th and early 20th centuries. Starting with the pioneering but contentious work of Georg Cantor in creating S
From playlist MathHistory: A course in the History of Mathematics
Basic Methods: We note the different methods of informal proof, which include direct proof, proof by contradiction, and proof by induction. We give proofs that sqrt(2) is irrational and that there are infinitely many primes, among others.
From playlist Math Major Basics
Alberto Cattaneo: An introduction to the BV-BFV Formalism
Abstract: The BV-BFV formalism unifies the BV formalism (which deals with the problem of fixing the gauge of field theories on closed manifolds) with the BFV formalism (which yields a cohomological resolution of the reduced phase space of a classical field theory). I will explain how this
From playlist Topology
How does mathematics describe the physical features of the world?
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: Mathematics
The Scientific Method and the question of "Infinite Sets" | Sociology and Pure Maths| N J Wildberger
Let's get some kind of serious discussion going about the differences in methodology and philosophy between the sciences and mathematics, and how these differences manifest themselves in the attitude towards the logical foundations of mathematics. In particular we look at a bulwark notio
From playlist Sociology and Pure Mathematics
Inference: A Logical-Philosophical Perspective - Moderated Conversation w/ A.C. Paseau and Gila Sher
Inference: A Logical-Philosophical Perspective. Moderated Conversation with Gila Sher, Department of Philosophy, University of California, San Diego on the talk by Alexander Paseau, Faculty of Philosophy, University of Oxford. The Franke Program in Science and the Humanities Understandi
From playlist Franke Program in Science and the Humanities
Math Talk! Dr. Andrej Bauer on proof assistants, constructive mathematics, philosophy, and more.
In this wonderful discussion with Dr. Andrej Bauer we discuss a whole host of topics centering around constructive mathematics, and proof assistants. Support Ukraine through Shtab Dobra: Instagram: https://www.instagram.com/shtab.dobra/ Facebook: https://www.facebook.com/shtab.dobra PayPa
From playlist Math Talk!
An Introduction to Philosophy - Isaiah Berlin & Bryan Magee (1978)
In this program, Isaiah Berlin discusses the nature and importance of philosophy with Bryan Magee. This is from a 1978 series on Modern Philosophy called Men of Ideas. #Philosophy #IsaiahBerlin #BryanMagee
From playlist Bryan Magee Interviews - Modern Philosophy: Men of Ideas (1977-1978)
Science & Technology Q&A for Kids (and others) [Part 58]
Stephen Wolfram hosts a live and unscripted Ask Me Anything about science and technology for all ages. Find the playlist of Q&A's here: https://wolfr.am/youtube-sw-qa Originally livestreamed at: https://twitch.tv/stephen_wolfram Outline of Q&A 0:00 Stream starts 2:50 Stephen begins the s
From playlist Stephen Wolfram Ask Me Anything About Science & Technology
IMS Public Lecture : Waking Up from Leibniz' Dream: On the Unmechanizability of Truth
Denis Hirschfeldt, The University of Chicago, USA
From playlist Public Lectures
Problems with the Calculus | Math History | NJ Wildberger
We discuss some of the controversy and debate generated by the 17th century work on Calculus. Newton and Leibniz's ideas were not universally accepted as making sense, despite the impressive, even spectacular achievements that the new theory was able to demonstrate. In this lecture we di
From playlist MathHistory: A course in the History of Mathematics
What Are Numbers? Philosophy of Mathematics (Elucidations)
What is mathematics about and how do we acquire mathematical knowledge? Mathematics seems to be about numbers, but what exactly are numbers? Are numbers and other mathematical objects something discovered or invented? Daniel Sutherland discusses some of these issues in the philosophy of ma
From playlist Logic & Philosophy of Mathematics
History of Science and Technology Q&A (April 6, 2022)
Stephen Wolfram hosts a live and unscripted Ask Me Anything about the history of science and technology for all ages. Find the playlist of Q&A's here: https://wolfr.am/youtube-sw-qa Originally livestreamed at: https://twitch.tv/stephen_wolfram If you missed the original livestream of
From playlist Stephen Wolfram Ask Me Anything About Science & Technology
Institute for Advanced Study November 17, 2006 Karl Sigmund (University of Vienna) Solomon Feferman (Stanford University) More videos on http://video.ias.edu
From playlist Kurt Gödel Centenary
Paul-André Melliès - A Functorial Excursion between Algebraic Geometry and Linear Logic
In this talk, I will use the functor of points approach to Algebraic Geometry to establish that every covariant presheaf X on the category of commutative rings — and in particular every scheme X — comes equipped “above it” with a symmetric monoidal closed category PshModX of presheaves of
From playlist Combinatorics and Arithmetic for Physics: special days
Inference: A Logical-Philosophical Perspective with Alexander Paseau
In this talk, Professor Alexander Paseau, Faculty of Philosophy, University of Oxford, will describe some of his work on inference within mathematics and more generally. Inferences can be usefully divided into deductive or non-deductive. Formal logic studies deductive inference, the obviou
From playlist Franke Program in Science and the Humanities