Theoretical computer science | Philosophy of mathematics

Quasi-empiricism in mathematics

Quasi-empiricism in mathematics is the attempt in the philosophy of mathematics to direct philosophers' attention to mathematical practice, in particular, relations with physics, social sciences, and computational mathematics, rather than solely to issues in the foundations of mathematics. Of concern to this discussion are several topics: the relationship of empiricism (see Penelope Maddy) with mathematics, issues related to realism, the importance of culture, necessity of application, etc. (Wikipedia).

Video thumbnail

Numerical mathematics of quasicrystals – Pingwen Zhang – ICM2018

Numerical Analysis and Scientific Computing Invited Lecture 15.8 Numerical mathematics of quasicrystals Pingwen Zhang Abstract: Quasicrystals are one kind of fascinating aperiodic structures, and give a strong impact on material science, solid state chemistry, condensed matter physics an

From playlist Numerical Analysis and Scientific Computing

Video thumbnail

Jean Michel : Quasisemisimple classes

Abstract: This is a report on joint work with François Digne. Quasisemisimple elements are a generalisation of semisimple elements to disconnected reductive groups (or equivalently, to algebraic automorphisms of reductive groups). In the setting of reductive groups over an algebraically c

From playlist Lie Theory and Generalizations

Video thumbnail

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

Video thumbnail

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

Video thumbnail

Introduction to Natural Quasirandomness: Unique Colorability and Order-ability - Leonardo Coregliano

Computer Science/Discrete Mathematics Seminar II Topic: Introduction to Natural Quasirandomness: Unique Colorability and Orderability Speaker: Leonardo Coregliano Affiliation: Member, School of Mathematics Date: November 08, 2022 The theory of graph quasirandomness studies sequences of g

From playlist Mathematics

Video thumbnail

A World of Pure Experience (By William James)

William James' wonderful 1904 essay "A World of Pure Experience" read by Carl Manchester and from LibriVox. The paper comes from William James' "Essays in Radical Empiricism", which was published posthumously in 1912. Note, this is a version of an upload from the previous channel. The audi

From playlist Philosophy of Mind

Video thumbnail

Paul GUNNELLS - Cohomology of arithmetic groups and number theory: geometric, ... 1

In this lecture series, the first part will be dedicated to cohomology of arithmetic groups of lower ranks (e.g., Bianchi groups), their associated geometric models (mainly from hyperbolic geometry) and connexion to number theory. The second part will deal with higher rank groups, mainly

From playlist École d'Été 2022 - Cohomology Geometry and Explicit Number Theory

Video thumbnail

The Mathematical Truth | Enrico Bombieri

Enrico Bombieri, Professor Emeritus, School of Mathematics, Institute for Advanced Study http://www.ias.edu/people/faculty-and-emeriti/bombieri October 29, 2010 In this lecture, Professor Enrico Bombieri attempts to give an idea of the numerous different notions of truth in mathematics.

From playlist Mathematics

Video thumbnail

a quasi-Pythagorean identity

Playing with triangles: a quasi-Pythagorean identity. I highlight a beautiful identity coming from geometry, which has to do with equilateral triangles and complex numbers. This has been inspired by a Tweet by Steven Strogatz from Cornell University. For this, we use Euler's formula and ro

From playlist Complex Analysis

Video thumbnail

HSC Science Extension Module 1 Empiricism and Scientific Inquiry

HSC Science Extension Module 1 Foundations of Scientific Thinking Empiricism and Scientific Inquiry Empiricism vs Rationalism

From playlist Y12 Sci Ex Mod 1 Foundations of Scientific Thinking

Video thumbnail

2 The Broader Philosophical Context - Kant's Critique of Pure Reason (Dan Robinson)

Dan Robinson gives the 2nd lecture in a series of 8 on Immanuel Kant's Critique of Pure Reason. All 8 lectures: https://www.youtube.com/playlist?list=PLhP9EhPApKE_OdgqNgL0AJX9-gwr4tmLw The significant advances in physics in the 17th century stood in vivid contrast to the stagnation of tr

From playlist Kant's Critique of Pure Reason - Dan Robinson

Video thumbnail

Teach Astronomy - Symmetry

http://www.teachastronomy.com/ A lot of fundamental concepts in physics are based on the idea of symmetry. Symmetry is familiar to us in an aesthetic sense. It often means things that have pleasing proportion, or look the same from every direction, or have a harmonious nature about them.

From playlist 23. The Big Bang, Inflation, and General Cosmology 2

Video thumbnail

Locke, Berkeley, & Empiricism: Crash Course Philosophy #6

This week we answer skeptics like Descartes with empiricism. Hank explains John Locke’s primary and secondary qualities and why George Berkeley doesn’t think that distinction works -- leaving us with literally nothing but our minds, ideas, and perceptions. -- Images and video via VideoBl

From playlist Philosophy

Video thumbnail

The Two Silos: Literature, Science, and Agents of Overlap in Twenty-first-century Science Studies

The Franke Visiting Fellow Lecture with Steven Meyer, Washington University "The Two Silos: Literature, Science, and Agents of Overlap in Twenty-first-century Science Studies" Steven Meyer teaches English and American literature and modern intellectual history at Washington University in

From playlist Whitney Humanities Center

Video thumbnail

4 Synthetic A Priori Judgments - Kant's Critique of Pure Reason (Dan Robinson)

Dan Robinson gives the 4th lecture in a series of 8 on Immanuel Kant's Critique of Pure Reason. All 8 lectures: https://www.youtube.com/playlist?list=PLhP9EhPApKE_OdgqNgL0AJX9-gwr4tmLw Kant claims that, "our sense representation is not a representation of things in themselves, but of th

From playlist Kant's Critique of Pure Reason - Dan Robinson

Video thumbnail

Hyperbolic Geometry is Projective Relativistic Geometry (full lecture)

This is the full lecture of a seminar on a new way of thinking about Hyperbolic Geometry, basically viewing it as relativistic geometry projectivized, that I gave a few years ago at UNSW. We discuss three dimensional relativistic space and its quadratic/bilinear form, particularly the uppe

From playlist MathSeminars

Video thumbnail

Is Maths Discovered or Invented?

Tom Rocks Maths intern Kira Miller debates the age-old question of whether maths is discovered or invented by presenting the common arguments on each side. Arguments presented on the side of 'invented' include Formalism, Fictionalism, Art, and Social Construct. And in favour of 'discovere

From playlist Mathstars

Video thumbnail

Spinoza & Leibniz - Bryan Magee & Anthony Quinton (1987)

Bryan Magee and Anthony Quinton discuss the 17th-18th century philosophers Spinoza and Leibniz. Both were rationalists who developed elaborate philosophical systems out of only a few basic principles of reason, but ended up with quite different views. Spinoza was a monist and pantheist. He

From playlist Bryan Magee Interviews - The Great Philosophers (1987)

Video thumbnail

Mechanics and curves | Math History | NJ Wildberger

The laws of motion as set out by Newton built upon work of Oresme, Galileo and others on dynamics, and the relations between distance, velocity and acceleration in trajectories. With Newton's laws and the calculus, a whole new arena of practical and theoretical investigations opened up to

From playlist MathHistory: A course in the History of Mathematics

Video thumbnail

An evening with Stephen Fry and Venki Ramakrishnan | The Royal Society

Stephen Fry joins Nobel Prize-winning biologist Venki Ramakrishnan to discuss one of the most crucial topics in the modern world. The very nature of science is to establish truth about the world around us, from groundbreaking new discoveries, like the Higgs boson, gravitational waves or t

From playlist Popular talks and lectures

Related pages

Computational mathematics | Richard Hamming | Karl Popper | Interactive computation | Imre Lakatos | Foundations of mathematics | Entscheidungsproblem | Cognitive bias | A New Kind of Science | Alan Turing | Mathematics | Function (mathematics) | Mathematical practice | Euclid | Charles Sanders Peirce | Willard Van Orman Quine | Hilary Putnam | Geometry | Philosophy of mathematics