Нужно иметь физмат-интуицию как выбор правильных объектов внимания в предметных областях: физмат как мета-мета-модельВ жизни людей интересует много разных режимов рассуждений
( Read more... )
Итак, тяжёлую работу формального/строгого/точного рассуждения/вывода/inference будут делать компьютеры, а от людей потребуется только знание математической, физической и так далее (дисциплин интеллект-стека, а затем инженерной, менеджерской, предпринимательской) онтологии с типами, соответствующими объектам внимания. Для наших целей усиления интеллекта достаточно соответствующей предметной интуиции для приблизительных/интуитивных рассуждений с этими объектами внимания, чтобы высказывать догадки. А проверять эти догадки сможет и компьютер, никаких тут вопросов.
Как оптимист, который занимается формальной инженерией, скажу Вам, что Вы очень сильно оптимистичны :). Но это хорошо :). Если бы я знал насколько это все сложно, то не уверен, что стал бы в это ввязываться. Хотя я уже не схожу с ума от сложности, что тоже неплохо - теперь это для меня просто сложная работа.
Но зато ответу можно доверять, он точный/строгий/формальный. По большому счёту, ровно вот это называется "точными науками".
Comments 7
Reply
Reply
Моё любимое - «почему кровь в венах визуально синяя?» гуглил - нет ответа, пытался цвета располагать друг за другом - не синеет красный лимонад.
Reply
Как оптимист, который занимается формальной инженерией, скажу Вам, что Вы очень сильно оптимистичны :). Но это хорошо :).
Если бы я знал насколько это все сложно, то не уверен, что стал бы в это ввязываться.
Хотя я уже не схожу с ума от сложности, что тоже неплохо - теперь это для меня просто сложная работа.
Но зато ответу можно доверять, он точный/строгий/формальный. По большому счёту, ровно вот это называется "точными науками".
Не совсем так. Всегда есть Trusted computing ( ... )
Reply
Reply
Leave a comment