HackerTube
HomeLongsLikedHistoryWatch laterCategoriesPlaylistsSettings

Gregory Chaitin - Is Mathematics Invented or Discovered?

Closer To Truth1 HN recommender · recommended in 1 month, 2020-2021
YouTube
54K views · 7 years ago · interview · evergreen

Gregory Chaitin is interviewed on Closer To Truth about whether mathematics is invented or discovered. He gives a nuanced view that ties the question to the nature of reality.

HN commenters recommend it as a thoughtful and nuanced take on the philosophy of mathematics.

Philosophy & ethicsPure mathematics#gregorychaitin#platonism#mathinventedordiscovered#closertotruth#philosophy

3 comments from Hacker News

@skoodge2021 · in “Platonism in the Philosophy of Mathematics (2018)”

Gregory Chaitin has an interesting take on this: "The only place where medieval theology survives is pure math." ▶ this video (The whole interview is actually quite nuanced on the question of whether math is discovered or invented and well worth a watch. There are also interviews with other mathematicians and physicists in the series, for example with Roger Penrose, but most other researchers seem to hold a rather dogmatic and platonist view, which is why I found Chaitin's perspective refreshing.)

Strongly recommendsView on HN
@seg_lol2020 · in “Programming language notation is a barrier to entry”

You got me to chuckle at, "thought terminating thought experiment". I will file that in my cliché attaché. Are you saying that I am asking for a universal perfect compressor, like I am winning the Hutter Prize [1] ? I don't believe I said that. To add to the tooling, what if the forum itself "learned you", and took that into account when I respond. It would know everything you wrote, potentially everything you read (on this site), and you in turn would know me. It might help mediate a discussion or prevent folks from talking past each other. What if our systems, could allow us to contextualize communication so that it was grounded in the same basis of knowledge as the receiver? Might some of those signaling mechanisms be the norms and affectations of each branch of study? You have given me some things to think about [2] [1] link [2] link [3] Looks like they have some thought provoking books and interviews link Is Mathematics Invented or Discovered? ▶ this video [4] A physicist looks at linguistics through a complexity lens link link

CitesView on HN
@throw0101a2020 · in “Roger Penrose – Is Mathematics Invented or Discovered? [video]”

Entire playlist: * link Gregory Chaitin was interesting as well: * ▶ this video The (apocryphal?) story about Godel not believing in empirical science and only in a priori truths was interesting.

CitesView on HN
All the Numbers - Numberphile14:27

All the Numbers - Numberphile

Numberphile
1.8M views • 7 years ago
Math's Fundamental Flaw34:00

Math's Fundamental Flaw

Veritasium
30.8M views • 5 years ago
The essence of calculus17:05

The essence of calculus

3Blue1Brown
11.9M views • 9 years ago
Feynman: 'Greek' versus 'Babylonian' mathematics10:20

Feynman: 'Greek' versus 'Babylonian' mathematics

TehPhysicalist
377K views • 14 years ago
What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky58:30

What if Current Foundations of Mathematics are Inconsistent? | Vladimir Voevodsky

Institute for Advanced Study
57K views • 14 years ago
Pythagoras' theorem (a) | Math History | NJ Wildberger48:55

Pythagoras' theorem (a) | Math History | NJ Wildberger

Insights into Mathematics
517K views • 15 years ago
Five Stages of Accepting Constructive Mathematics - Andrej Bauer57:32

Five Stages of Accepting Constructive Mathematics - Andrej Bauer

Institute for Advanced Study
34K views • 10 years ago
"Propositions as Types" by Philip Wadler42:43

"Propositions as Types" by Philip Wadler

Strange Loop Conference
143K views • 11 years ago
How Imaginary Numbers Were Invented23:29

How Imaginary Numbers Were Invented

Veritasium
22.7M views • 5 years ago
Category Theory in Life - Eugenia Cheng40:39

Category Theory in Life - Eugenia Cheng

Lambda World
113K views • 9 years ago
Lecture by Douglas Hofstadter: Albert Einstein on Light; Light on Albert Einstein52:04

Lecture by Douglas Hofstadter: Albert Einstein on Light; Light on Albert Einstein

Uppsala universitet
23K views • 8 years ago
Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #1244:23:39

Stephen Wolfram: Fundamental Theory of Physics, Life, and the Universe | Lex Fridman Podcast #124

Lex Fridman
501K views • 6 years ago
Gerald Jay Sussman: The Role of Programming   (Dan Friedman's 60th Birthday)27:45

Gerald Jay Sussman: The Role of Programming (Dan Friedman's 60th Birthday)

William Byrd
22K views • 11 years ago
What does it feel like to invent math?15:08

What does it feel like to invent math?

3Blue1Brown
4.6M views • 11 years ago
The Strange Math That Predicts (Almost) Anything32:32

The Strange Math That Predicts (Almost) Anything

Veritasium
13.1M views • 1 year ago
Stanford Lecture: Don Knuth—"A Conjecture That Had To Be True" (2017)1:07:02

Stanford Lecture: Don Knuth—"A Conjecture That Had To Be True" (2017)

Stanford Online
30K views • 8 years ago
The Future of Mathematics?1:14:48

The Future of Mathematics?

Microsoft Research
116K views • 7 years ago
1. A strange determinant1:01:08

1. A strange determinant

Timothy Gowers
30K views • 5 years ago
Stephen Wolfram: Complexity and the Fabric of Reality | Lex Fridman Podcast #2343:38:43

Stephen Wolfram: Complexity and the Fabric of Reality | Lex Fridman Podcast #234

Lex Fridman
4.8M views • 5 years ago
Category Theory 1.1: Motivation and Philosophy46:46

Category Theory 1.1: Motivation and Philosophy

Bartosz Milewski
394K views • 10 years ago