И теорема в таком случае тождественна, то есть вся, целиком и полностью, выражена в каракулях на бумаге?
И тут еще вопрос возник: а недоказанные теоремы существуют?

Без выражения на бумаге или словами её не существует.

Категорически извиняюсь, но я спать.

Ок. Пусть вам приснится что-нибудь идеальное в повседневно - бытовом смысле. ))

Спасибо) Пусть мне приснится материальная программа.

Кстати, нашёл ещё одну логическую нестыковку, которая, как мне кажется,  мешает пониманию...
Мы говорим о программе, как о создании чего - то нового, ранее до этого не существовавшего.
А ведь любая программа - это отражение и преобразование уже имеющейся в наличии материальной действительности.
Она опирается на всю деятельность человечества до этого момента.
И ещё беда в том, что у нас разное понятие скрывается под словом "программа". Для одних программа - видоизменяющийся набор материальных явлений - дорожки на диске, возбуждение в нейронах, колебания звуковых волн.
А для других программа - концепция преобразования материальной действительности. И вот она-то, понятно, больше/объёмней любого набора материальных явлений.

Видно не спроста последнее время идут плевки в сторону ВИЛ, все СМИ теперь обсасывают этот наброс, людишки в комментариях глотки рвут, а кто нужно смотрит на это и улыбается, ведь дело их живёт и пахнет. https://m.vz.ru/politics/2019/12/20/1014614.html

Так это каждый год происходит) кукуха слетает ближе к новому году и начинают виноватых искать. В прошлом году вспомните хотели его перезахоронить. Сейчас у буржуазного защитника слетела кукуха.... И так уже лет 30 происходит, прям нужно психологам труд написать Ленино фобия и её активация в переуды ноября и декабря.

Да это не кукуха, это работа такая у человека.
Вон в прямом эфире он Ленина называл вождём мирового пролетариата, и сказал выносить нельзя и тд.
А когда на встрече с "атлантами", вещает про старика и бомбу.

Так индивид хорошо знаком с трудами Ленина. Видел его интервью где он ещё в Питере говорил об этом. Да и в КГБ наверное преподавали Маркса и Ленина.
А мне кажется у него слетела кукуха, так как раньше он про это сглаженно говорил а сейчас прям рубит от плеча. Или спич райтер опять бухал и нечего умного не передумал.

Сознание от долгого пребывания на посту президента - изменяется. Можно сказать что и кукухой двинулся, а можно сказать трансформация личности произошла

Да, нынче пипл всё хавает. Даже Платошкина, грудинина, всяких там народников не пойми каких хавает. А вот нас боится, заразу когда говоришь что ты коммунист с начала шарахаются как от прокажоного пока не начнёшь объяснять почему Путин или те же самые КПРФ не защищают интересы народа....
Сегодня в очереди в аптеке пока стоял, с бабками спорить стал, в последствии когда уходил они перекрещивались между собой...

Люди всегда были и всегда будут глупенькими жертвами обмана и самообмана в политике, пока они не научатся за любыми нравственными, религиозными, политическими, социальными фразами, заявлениями, обещаниями разыскивать интересы тех или иных классов. В.И. Ленин

Вот чего им надо изучать)
https://vk.com/video-185980575_456239116

Верно. Но я также говорил, что так со всем. Когда я говорю о тарелке, это не только объективная материальная вещь, которая опирается на всю многовековую деятельность человечества, но также это образ в голове. Концепция преобразования материальной действительности.

читая ваши споры тут, не перестаю удивляться тому, как в то же самое время, когда Вы (лично) признаёте идеальное ОТРАЖЕНИЕМ, умудряетесь "материализовать" его же в символах на бумаге или дорожках на магнитном/оптическом носителе итд.
вот тут и лежит Ваша ошибка.

Но образ самой тарелки, как образ отдельно взятой вещи - НЕ идеальное в философском смысле.
Вот образ порядка действий при изготовлении тарелки - это идеальное.

Так для этого мозг задействует руки, ночи, речевой аппарат. Материальные вещи, которыми мозг управляет.

Мозг не управляет, он подает только сигналы.

да, мозг и его нейроны, руки-ноги итд - это всё материальные объекты.
НО - мозг воздействует на образы, отражения. его работа, труд его заключается в воздействии на образы. например, он понимает, что есть некий "стакан" (абстрактный!) и модифицируя каким-нибудь способом образ этого стакана, создаёт новый образ.
последний воплощается в объект путём физического труда, но до этого стакан (уже несколько  трансформированный из абстрактного стакана "вообще" в некий конкретный) не перестаёт быть образом реального стакана.

https://remi-meisner.livejournal.com/257800.html
На подумать.