смотреть не обязательно — забрать выжимку и пункты
оценка машинная и частично зависит от длины ролика — спорите, открывайте оригинал
Математика как язык мышления: пять школ и их ограничения
23 Hamming, Learning to Learn: Mathematics, 18 May 1995
Хэмминг разбирает пять школ философии математики (платонизм, формализм, логицизм, интуиционизм, конструктивизм), показывает их несостоятельность и приходит к выводу, что математика — это язык ясного мышления, созданный человеком и изменяемый. Он подчеркивает, что нет абсолютной истины в математике, но она необъяснимо эффективна, и призывает к интуитивному пониманию и готовности создавать новую математику для новых задач.
Хэмминг разбирает пять школ философии математики (платонизм, формализм, логицизм, интуиционизм, конструктивизм), показывает их несостоятельность и приходит к выводу, что математика — это язык ясного мышления, созданный человеком и изменяемый. Он подчеркивает, что нет абсолютной истины в математике, но она необъяснимо эффективна, и призывает к интуитивному пониманию и готовности создавать новую математику для новых задач.
что из этого моё
Для оператора входа в AI важно понимать, что математические модели и формальные системы не являются абсолютной истиной: они инструменты, которые можно и нужно адаптировать. При построении оркестрации моделей и автоматизации стоит опираться на интуицию и практические результаты, а не на формальную строгость. Идея Хэмминга о создании новых математических структур (как расстояние Хэмминга) вдохновляет на разработку собственных метрик и алгоритмов под конкретные задачи, например, для оценки качества ответов моделей или оптимизации маршрутизации запросов.
Тезисы ролика
применимого к своей работе линза здесь не нашла
▸Не полагайтесь на абсолютную истину в математике: определения и доказательства меняются со временем, будьте готовы адаптировать их под новые задачи.
▸При решении реальных проблем опирайтесь на интуицию и практическую применимость, а не только на формальную строгость.
▸Создавайте новые математические структуры, когда стандартные не подходят: как Хэмминг ввел расстояние Хэмминга для кодов, меняя правила (1+1=0).
▸Помните о границах формальных систем (теорема Гёделя): в любой достаточно богатой системе есть недоказуемые утверждения, поэтому не пытайтесь доказать всё.
о чём говорят, по времени
главы доводят до 39:52 · дальше по ролику меток нет
Хэмминг объясняет, зачем он это рассказывает: подготовить к новым видам математики и показать, что математика не всегда идеально подходит, но остается эффективной.