In the philosophy of mathematics, constructivism asserts that it is necessary to find (or "construct") a specific example of a mathematical object in order to prove that an example exists. Contrastingly, in classical mathematics, one can prove the existence of a mathematical object without "finding" that object explicitly, by assuming its non-existence and then deriving a contradiction from that assumption. Such a proof by contradiction might be called non-constructive, and a constructivist might reject it. The constructive viewpoint involves a verificational interpretation of the existential quantifier, which is at odds with its classical interpretation. There are many forms of constructivism. These include the program of intuitionism founded by Brouwer, the finitism of Hilbert and Bernays, the of Shanin and Markov, and Bishop's program of constructive analysis. Constructivism also includes the study of constructive set theories such as CZF and the study of topos theory. Constructivism is often identified with intuitionism, although intuitionism is only one constructivist program. Intuitionism maintains that the foundations of mathematics lie in the individual mathematician's intuition, thereby making mathematics into an intrinsically subjective activity. Other forms of constructivism are not based on this viewpoint of intuition, and are compatible with an objective viewpoint on mathematics. (Wikipedia).
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
SHM - 16/01/15 - Constructivismes en mathématiques - Alain Herreman
Alain Herreman (IRMAR, Université Rennes 1), « La Géométrie de Descartes et la transformation des constructions recevables en géométrie »
From playlist Les constructivismes mathématiques - Séminaire d'Histoire des Mathématiques
Number theory Full Course [A to Z]
Number theory (or arithmetic or higher arithmetic in older usage) is a branch of pure #mathematics devoted primarily to the study of the integers and integer-valued functions. Number theorists study prime numbers as well as the properties of objects made out of integers (for example, ratio
From playlist Number Theory
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
On theories in mathematics education and their conceptual differences – Luis Radford – ICM2018
Mathematics Education and Popularization of Mathematics Invited Lecture 18.1 On theories in mathematics education and their conceptual differences Luis Radford Abstract: In this article I discuss some theories in mathematics education research. My goal is to highlight some of their diffe
From playlist Mathematics Education and Popularization of Mathematics
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!
G. A. Cohen on Justice & Incentives (2001)
G. A. Cohen gives a talk called "Rescuing Justice from Constructivism: Justice & Incentives" in 2001. 00:00 Stand-Up Comedy 10:04 The Talk #Philosophy #PoliticalPhilosophy
From playlist Social & Political Philosophy
SHM - 16/01/15 - Constructivismes en mathématiques - Thierry Coquand
Thierry Coquand (Université de Gothenburg), « Théorie des types et mathématiques constructives »
From playlist Les constructivismes mathématiques - Séminaire d'Histoire des Mathématiques
Wolfram Physics Project: Working Session Tuesday, July 28, 2020 [Metamathematics | Part 3]
This is a Wolfram Physics Project progress update at the Wolfram Summer School. This is a continuation of part two found here: https://youtu.be/ndtLa0BhEdg Originally livestreamed at: https://twitch.tv/stephen_wolfram Stay up-to-date on this project by visiting our website: http://wolfr.
From playlist Wolfram Physics Project Livestream Archive
Against Rorty's Constructivism
A clip of Paul Boghossian discussing and criticizing anti-realism, particularly the views of Richard Rorty. #Philosophy #Rorty
From playlist Shorter Clips & Videos - Philosophy Overdose
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
Non-Euclidean geometry | Math History | NJ Wildberger
The development of non-Euclidean geometry is often presented as a high point of 19th century mathematics. The real story is more complicated, tinged with sadness, confusion and orthodoxy, that is reflected even the geometry studied today. The important insights of Gauss, Lobachevsky and Bo
From playlist MathHistory: A course in the History of Mathematics
Number theory and algebra in Asia (a) | Math History | NJ Wildberger
After the later Alexandrian mathematicians Ptolemy and Diophantus, Greek mathematics went into decline and the focus shifted eastward. This lecture discusses some aspects of Chinese, Indian and Arab mathematics, in particular the interest in number theory: Pell's equation, the Chinese rema
From playlist MathHistory: A course in the History of Mathematics
Philosophy of Numbers - Numberphile
We revisit the philosophy department and the question of whether numbers really exist? Featuring Mark Jago from the University of Nottingham. More links & stuff in full description below ↓↓↓ Earlier video on numbers' existence: https://youtu.be/1EGDCh75SpQ Infinity paradoxes: https://yout
From playlist Infinity on Numberphile
SHM - 16/01/15 - Constructivismes en mathématiques - Henri Lombardi
Henri Lombardi (LMB, Université de Franche-Comté), « Foundations of Constructive Analysis, Bishop, 1967 : une refondation des mathématiques, constructive, minimaliste et révolutionnaire »
From playlist Les constructivismes mathématiques - Séminaire d'Histoire des Mathématiques
Justice as a Larger Loyalty - Richard Rorty (1996)
A reupload of a talk by Richard Rorty as part of a 1996 series given at the University of Girona. #Philosophy #Ethics #Rorty
From playlist Social & Political Philosophy
What are complex numbers? | Essence of complex analysis #2
A complete guide to the basics of complex numbers. Feel free to pause and catch a breath if you feel like it - it's meant to be a crash course! Complex numbers are useful in basically all sorts of applications, because even in the real world, making things complex sometimes, oxymoronicall
From playlist Essence of complex analysis
What is Gender? | Philosophy Tube
Male, female, cis, trans – what is gender? What makes up your gender identity? Existentialism, Society, Genetics? Subscribe! http://tinyurl.com/pr99a46 Patreon: http://www.patreon.com/PhilosophyTube Audible: http://tinyurl.com/jn6tpup FAQ: http://tinyurl.com/j8bo4gb Facebook: http://ti
From playlist METAPHYSICS
Number theory and algebra in Asia (b) | Math History | NJ Wildberger
After the later Alexandrian mathematicians Ptolemy and Diophantus, Greek mathematics went into decline and the focus shifted eastward. This lecture discusses some aspects of Chinese, Indian and Arab mathematics, in particular the interest in number theory (Pell's equation, the Chinese rema
From playlist MathHistory: A course in the History of Mathematics