Поиск по тегу «гёдель»

Поиск по тегу «гёдель»

HD 03:22:02

Заменит ли Искусственный Интеллект Человека? / Технологическая Сингулярность / АйТиБорода + Наука

Сегодняшнее интервью тесно переплетено с IT: в нём мы говорим о современном Data Science, реальности появления Сильного ИИ в недалеком будущем, о во вопросов будущего ИИ и технологической Сингулярности. Гость выпуска Senior Data Scientist, ...
Cмотреть видео

HD 00:32:50

Vert Dider: Слабое место математики: можно ли доказать всё, что истинно? [Veritasium] - видео

Помощь проекту: https://vertdider.tv/to-support-us/ Возможно ли доказать всё, что истинно? Поиски ответа на этот вопрос раскололи математическое сообщество, заставили нас пересмотреть своё представление о бесконечности, помогли выиграть Вто...
Cмотреть видео