AGI.place

Форум создателей искусственных интеллектов


Логин (email) 
Пароль 
Настройки

шрифт+
шрифт-
Скачать
Видео по теме AI
Аватар
create
Видео по теме AI
05:47 17.02.2021 №410
0 | 0
Аватар
create
Видео по теме AI
08:24 17.02.2021 08:30 17.02.2021 №412
Принципы работы роботов Boston Dynamics
+1 | 0
create
Видео по теме AI
16:02 19.02.2021 16:04 19.02.2021 №459
0 | 0
Аватар
create
Видео по теме AI
16:17 19.02.2021 №460
0 | 0
Аватар
create
Видео по теме AI
04:04 20.02.2021 04:24 20.02.2021 №471
0 | 0
Аватар
create
Видео по теме AI
13:29 28.02.2021 №571
0 | 0
Аватар
create
Видео по теме AI
12:46 08.04.2021 №857
0 | 0
Аватар
create
Видео по теме AI
12:06 09.08.2021 №1834
С девятой минуты. Непонятно, но очень интересно.
0 | 0
Аватар
create
Видео по теме AI
06:18 11.08.2021 №1866
Пригодится в дальнейшем для контекста.
+1 | 0
Аватар
create
Видео по теме AI
16:55 13.08.2021 17:33 13.08.2021 №1919
Linner:
Пригодится в дальнейшем для контекста.
Может и пригодится, но в самой математике все проблемы решаются или решены. По-моему, единственная труднорешаемая проблема, которая осталась, - это проблема самоссылки или актуальной бесконечности. И заключается она в том, что многим людям бесконечность кажется достижимой. Они начинают любоваться колдунством, вроде: "Все гости сняли шляпы, надели шляпы и миллион шляп остался ненадетым." или "нехватило". В корректных индуктивных формулировках математики пользуются связками: "для любого ... выполняется ...", а потом отправляют дилетантов снимать шляпы с гостей. Но я ещё не видел, чтобы хоть один математик гарантировал, что после какого-то количества "любых" найдётся ещё один. Вот и в этой киношке говорится, что доказательство теоремы Гёделя держится на самоссылке. Это настораживает. Я не погружался в настоящее доказательство, но есть шанс, что эта интерпретация говорит о том, что Гёдель доказал недоказуемость или даже опровержение собственной теоремы. Зы: а математики ещё и упорядоченные множества "любых" любят (! каламбурчег !). Короче, кроме интуитивистов и формалистов я ещё выделяю конструктивистов. А смотрю с удовольствием на девчонок в Москве.
+1 | 0
Аватар
create
Видео по теме AI
17:06 13.08.2021 17:07 13.08.2021 №1921
А начал это безобразие, т.е. подсчёт мощностей бесконечных множеств, именно Кантор. Я более склонен думать , что он просто классифицировал индуктивные алгоритмы построения множеств по скорости роста их мощностей: быстро, так быстро, что быстрее роста сумм, произведений, степеней и т.п.
0 | 0
Аватар
create
Видео по теме AI
18:30 13.08.2021 №1929
Парадокс математики, как науки о "доказательстве истин", как мне кажется, заключается в том, что она создаётся математиками, которым она не требуется, для нематематиков, которым она не нужна.
0 | 0
Аватар
create
Видео по теме AI
18:38 13.08.2021 19:15 13.08.2021 №1930
Prosolver:
Парадокс математики, как науки о "доказательстве истин", как мне кажется, заключается в том, что она создаётся математиками, которым она не требуется, для нематематиков, которым она не нужна.
Гармонию очень трудно поверить математикой. Возьму недельку на обдумывание. Придётся пересматривать CSBSVNNQ и здесь тоже.
0 | 0
Аватар
create
Видео по теме AI
21:36 12.06.2022 №4662
0 | 0
шрифт+
шрифт-
Скачать

Главная Участники Жалобы  Поиск Исходный код О форуме