Популярное

Музыка Кино и Анимация Автомобили Животные Спорт Путешествия Игры Юмор

Интересные видео

2025 Сериалы Трейлеры Новости Как сделать Видеоуроки Diy своими руками

Топ запросов

смотреть а4 schoolboy runaway турецкий сериал смотреть мультфильмы эдисон
dTub
Скачать

Is Mathematics Obsolete with Jeremy Avigad

Автор: Santa Fe Institute

Загружено: 2023-05-12

Просмотров: 7268

Описание:

2023 Science Board & Board of Trustees Symposium on "The Complexity of Knowledge"

https://www.santafe.edu/events/sbs-co...

Learn more at https://santafe.edu

Follow us on social media:
  / sfiscience  
  / sfiscience  
  / santafeinstitute  
  / santafeinstitute  
  / santafeinstitute  

Subscribe to SFI's official podcasts:
https://complexity.simplecast.com
https://aliencrashsite.org

Is Mathematics Obsolete with Jeremy Avigad

Поделиться в:

Доступные форматы для скачивания:

Скачать видео mp4

  • Информация по загрузке:

Скачать аудио mp3

Похожие видео

Writing Assistance or PlagAIrism  How Language Models Are Changing Our View of Knowledge-Anna Rogers

Writing Assistance or PlagAIrism How Language Models Are Changing Our View of Knowledge-Anna Rogers

Edward Frenkel - Where Does Mathematics Come From?

Edward Frenkel - Where Does Mathematics Come From?

Math Encounters:

Math Encounters: "You Want Proof? I'll Give You Proof! ...Euclid to Lean" Jeremy Avigad Nov 6 2024

Решение легендарного вопроса №6 ИМО 1988 года

Решение легендарного вопроса №6 ИМО 1988 года

Group theory, abstraction, and the 196,883-dimensional monster

Group theory, abstraction, and the 196,883-dimensional monster

Terence Tao - Machine-Assisted Proofs (February 19, 2025)

Terence Tao - Machine-Assisted Proofs (February 19, 2025)

FutureTech Conference 2025 The Grand AGI Delusion and What It May Cost Us by Gary Marcus

FutureTech Conference 2025 The Grand AGI Delusion and What It May Cost Us by Gary Marcus

How geometry created modern physics – with Yang-Hui He

How geometry created modern physics – with Yang-Hui He

Math's Fundamental Flaw

Math's Fundamental Flaw

Complexity Explorer Lecture: David Krakauer • What is Complexity?

Complexity Explorer Lecture: David Krakauer • What is Complexity?

Крупнейший проект в современной математике

Крупнейший проект в современной математике

Когда компьютеры пишут доказательства, какой смысл в математиках?

Когда компьютеры пишут доказательства, какой смысл в математиках?

Limits of Logic: The Gödel Legacy

Limits of Logic: The Gödel Legacy

The Potential for AI in Science and Mathematics - Terence Tao

The Potential for AI in Science and Mathematics - Terence Tao

ЧТО УВИДЕЛИ УЧЁНЫЕ НА ФОТО 3I/ATLAS? ЖИЗНЬ НА ПЛАНЕТАХ-БРОДЯГАХ. Владимир Сурдин

ЧТО УВИДЕЛИ УЧЁНЫЕ НА ФОТО 3I/ATLAS? ЖИЗНЬ НА ПЛАНЕТАХ-БРОДЯГАХ. Владимир Сурдин

A Swift Introduction to Geometric Algebra

A Swift Introduction to Geometric Algebra

What is Lie theory? Here is the big picture. | Lie groups, algebras, brackets #3

What is Lie theory? Here is the big picture. | Lie groups, algebras, brackets #3

What A General Diagonal Argument Looks Like (Category Theory)

What A General Diagonal Argument Looks Like (Category Theory)

Category Theory for Neuroscience (pure math to combat scientific stagnation)

Category Theory for Neuroscience (pure math to combat scientific stagnation)

How Much Math Is Knowable?

How Much Math Is Knowable?

© 2025 dtub. Все права защищены.



  • Контакты
  • О нас
  • Политика конфиденциальности



Контакты для правообладателей: [email protected]