• ClipSaver
  • dtub.ru
ClipSaver
Русские видео
  • Смешные видео
  • Приколы
  • Обзоры
  • Новости
  • Тесты
  • Спорт
  • Любовь
  • Музыка
  • Разное
Сейчас в тренде
  • Фейгин лайф
  • Три кота
  • Самвел адамян
  • А4 ютуб
  • скачать бит
  • гитара с нуля
Иностранные видео
  • Funny Babies
  • Funny Sports
  • Funny Animals
  • Funny Pranks
  • Funny Magic
  • Funny Vines
  • Funny Virals
  • Funny K-Pop

Is This the End of Handwritten Math? Introducing Lean скачать в хорошем качестве

Is This the End of Handwritten Math? Introducing Lean 1 месяц назад

скачать видео

скачать mp3

скачать mp4

поделиться

телефон с камерой

телефон с видео

бесплатно

загрузить,

Не удается загрузить Youtube-плеер. Проверьте блокировку Youtube в вашей сети.
Повторяем попытку...
Is This the End of Handwritten Math? Introducing Lean
  • Поделиться ВК
  • Поделиться в ОК
  •  
  •  


Скачать видео с ютуб по ссылке или смотреть без блокировок на сайте: Is This the End of Handwritten Math? Introducing Lean в качестве 4k

У нас вы можете посмотреть бесплатно Is This the End of Handwritten Math? Introducing Lean или скачать в максимальном доступном качестве, видео которое было загружено на ютуб. Для загрузки выберите вариант из формы ниже:

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

Скачать mp3 с ютуба отдельным файлом. Бесплатный рингтон Is This the End of Handwritten Math? Introducing Lean в формате MP3:


Если кнопки скачивания не загрузились НАЖМИТЕ ЗДЕСЬ или обновите страницу
Если возникают проблемы со скачиванием видео, пожалуйста напишите в поддержку по адресу внизу страницы.
Спасибо за использование сервиса ClipSaver.ru



Is This the End of Handwritten Math? Introducing Lean

A first guide to the Lean 4 Proof Assistant. To learn for free on Brilliant, go to https://brilliant.org/AnkYog . You’ll also get 20% off an annual premium subscription. You can try out Lean at Lean 4 Web: https://live.lean-lang.org/ (no installation required) The code for the video is given at https://github.com/AnkYog/LeanTutorial1 You can copy this code into Lean 4 Web to follow along the video. Learning Lean 4: https://leanprover-community.github.i... Proof assistants are insane - Errors that might take months to find can be done in minutes. Math problems become open-source projects as anyone can contribute verified math code. AIs now have an environment to learn and generate verified math proofs. This video is the ultimate tutorial on the Lean 4 proof assistant. By the end, we’ll be able to formalize these three big proofs: 1. An irrational number raised to the power of an irrational number can be rational (using the law of the excluded middle) 2. The existence of infinite primes (using a proof by contradiction) 3. Every onto function has a right inverse (using the axiom of choice) This video was sponsored by Brilliant. Twitter:   / ank_yog   00:00 Intro 00:46 Basic Syntax 01:41 Prop-as-Types 03:28 Tactic Mode 04:09 Mathlib 07:00 Intro and Elim Rules 08:52 Proof: 10 is even 09:43 Proof: If a number is even, 2 divides it 12:53 Define PrimeNum 13:19 Proof: 1 is not prime 14:18 Proof: 9 is not prime 16:01 Proof: 5 is prime 19:37 Final 3 Proofs 20:01 Irrational to the power Irrational can be Rational 24:44 There exist infinite primes 31:22 Every onto (surjective) function has a right inverse 34:21 End

Comments
  • One Formula That Demystifies 3D Graphics 4 дня назад
    One Formula That Demystifies 3D Graphics
    Опубликовано: 4 дня назад
  • The most complex model we actually understand 9 дней назад
    The most complex model we actually understand
    Опубликовано: 9 дней назад
  • Electrons Don't Actually Orbit Like This 4 дня назад
    Electrons Don't Actually Orbit Like This
    Опубликовано: 4 дня назад
  • Introductory Proof with Lean 4 - Natural Numbers 3 года назад
    Introductory Proof with Lean 4 - Natural Numbers
    Опубликовано: 3 года назад
  • Как математики могут начать использовать Lean 10 месяцев назад
    Как математики могут начать использовать Lean
    Опубликовано: 10 месяцев назад
  • The Code That Revolutionized Orbital Simulation 2 недели назад
    The Code That Revolutionized Orbital Simulation
    Опубликовано: 2 недели назад
  • The Biggest Breakthroughs in Mathematics: 2025 11 дней назад
    The Biggest Breakthroughs in Mathematics: 2025
    Опубликовано: 11 дней назад
  • Все нерешенные проблемы в математике 8 дней назад
    Все нерешенные проблемы в математике
    Опубликовано: 8 дней назад
  • Графический API не имеет значения 1 месяц назад
    Графический API не имеет значения
    Опубликовано: 1 месяц назад
  • Какое отношение имеет дзета-закон Римана к броуновскому движению? 1 месяц назад
    Какое отношение имеет дзета-закон Римана к броуновскому движению?
    Опубликовано: 1 месяц назад
  • Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender 1 год назад
    Tactics & Keyframes: Visualizing Lean 4 Proofs in Blender
    Опубликовано: 1 год назад
  • the creator of Claude Code just revealed the truth 1 час назад
    the creator of Claude Code just revealed the truth
    Опубликовано: 1 час назад
  • Бурбаки против теории категорий: что такое математика? 1 месяц назад
    Бурбаки против теории категорий: что такое математика?
    Опубликовано: 1 месяц назад
  • i is a set of polynomials 1 месяц назад
    i is a set of polynomials
    Опубликовано: 1 месяц назад
  • Which Regular Shapes can you draw on any* Grid? 4 дня назад
    Which Regular Shapes can you draw on any* Grid?
    Опубликовано: 4 дня назад
  • Программирование на ассемблере без операционной системы 2 месяца назад
    Программирование на ассемблере без операционной системы
    Опубликовано: 2 месяца назад
  • Posits – Beating Floating Point at its Own Game | #SoME4 4 месяца назад
    Posits – Beating Floating Point at its Own Game | #SoME4
    Опубликовано: 4 месяца назад
  • Что на самом деле означает слово «равный»? 4 недели назад
    Что на самом деле означает слово «равный»?
    Опубликовано: 4 недели назад
  • The Future of Math is in Programming 3 месяца назад
    The Future of Math is in Programming
    Опубликовано: 3 месяца назад
  • Emergent Complexity 1 месяц назад
    Emergent Complexity
    Опубликовано: 1 месяц назад

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

Отказ от ответственности - Disclaimer Правообладателям - DMCA Условия использования сайта - TOS



Карта сайта 1 Карта сайта 2 Карта сайта 3 Карта сайта 4 Карта сайта 5