Здесь рассматривается "гёделевский аргумент" в отношении человека и машины(нечеловека, ИИ).
Т.е. связка человек-нечеловек может быть рассмотрена с позиции "гёделевского аргумента", суть которого определяют в том, что из теоремы Гёделя о неполноте формальных систем вытекает принципиальное различие между искусственным(машинным= нечеловеческим) интеллектом и человеческим умом, т.е. умом, будто бы  имеющим некоторое принципиальное преимушество перед "умом" машинным.
Но всё это обьясняется формализованным образом, без какого-либо диалектического понимания в отношениях человека и машины.
Отсюда, если без диалектики, то возникает вопрос - в каких условиях форм. систем это аргумент, а в каких не аргумент(аргумент это или не аргумент)? 
Это(теорема Гёделя) может быть аргументом при условиях разрыва связки человек-нечеловек. Но тогда сам аргумент разделяется - т.е. он аргумент в отношении человека(как алгоритмически невычислимой системы) и в отношении нечеловека/машины(как алгоритмически вычислимой системы).
В таком случае ФИГА как аргумент Гёделя оказывается двусмысленна - в отношении неформальных и формальных систем.

О Гёделевском аргументе суть
С позиций суть идеализма
Поведал Е.Иванов нам тут
Своим раскладом формализма
Из битов лишь, без суть куб(б)итов.

http://proza.ru/2011/02/18/1602

Фига как аргумент Гёделя.

Гёдель - не Гегель и не Гоголь.
Он фигу показал конкретно
Всем математикам с порога,
Чего никто не ожидал,
Кто грезил формой полноты.

.....

Математики в выводах тужились
Описать полноту чтоб систем.
Но вот с формами как-то не сдюжили,
Получив от какого-то Гёделя
"Фигу с маслом" из двух теорем.   "гёделевсий аргумент"

Аргумент сей во все сферы тыкают,
Словно оберег от полноты
Всех формальных систем, коих ведают
Как-то без антитезиса Гегеля,
А о синтезе - только мечты.

Вопрошают с мечтами философы
- Где, мол, сущность формальных систем?
Есть ли в них диалектики способы,
Чтоб по Гегелю вникнуть бы в Гёделя,
Да найти бы в нём кучу проблем?

Связь философа и математика
Не для всех формалистов пройдёт.
Вот один из них, с видом лунатика,
В знак протеста плакат всем суёт -
Мол, "философ суть к нам не войдёт!"

Кричал - "философ не войдёт!" -
Один лунатик битов терний,
Не смогший философский счёт
Понять и принять средь сомнений
(различных философских мнений)

Не сдержан был, нерпения недоставало.
А что открыл, то это ещё очень мало.
И вот забанили лунца,
Чтоб не трезвонил без конца
Свой математики лишь лад.

.......

Где текст как бита лишь явленье,
А вот с кубитом - неведенье,
Там бумерангом для лунатика:
"Да не войдёт сей математик!"
В стихию философских практик.
(Где к Гёделю добавлен Гегель)

Итак, есть Гёдель с Гегелем как связь ведущая к сущности формальных систем.
Но при чём же тут Гоголь?
А Гоголь при том, что он описал некую ссору двух господ(И.Ивановича и И.Никифоровича), ссору из-за того, что один из них обозвал другого гусаком.
В теме же axby "Философ да не войдёт" тоже вышло нечто подобное ссоре двух господ(axby и Болдачёва), но тут, вместо "гусака", фигурирует "алгоритмическая вычислимость", которую axby приписал Болдачёву, словно назвав его "гусаком".

axby: "Вы начали заговариваться, утверждая о наличии принципиальной возможности запрограммировать деятельность математического сообщества".

Болдачёв: "Приведите цитату, где я прямым текстом заявлял об алгоритмической вычислимости деятельности матсообщества"

...и далее цепная реакция спора, пока не забанили лунца(лунатика).

Е.Иванов: " Гёделевский аргумент против ИИ часто формулируют в несколько иной форме - говорят об "алгоритмической невычислимости" функции сознания. ...что означает, что невозможно построить алгоритмическое устройство функционально эквивалентное человеческому мозгу. ...Фактически это равносильно принципиальной непознаваемости принципов работы мозга".

...." Если хотят подчеркнуть принципиальное различие между человеком и машиной(ИИ), то говорят о "невычислимости функции сознания"(неалгоритмических системах)"

....

Т.о., из выше сказанного, к Гёделю и Гегелю прибавился ещё и Гоголь...

И вот тягаются в суде
С обидой, в общем, в ерунде -
Один другого гусаком
Назвал, т.е. гусём-самцом.

И человек с нечеловеком
Так же тягаются в разрыве
Их общей связки, суть о чём
Будут судить и в перспективе
(В не-человеческом отливе)

Ведь имеется некие три аспекта рассмотрения "НЕ" по отношению к "ЧЕЛОВЕКУ":

1. Слитно - НЕЧЕЛОВЕК
2. через тире - НЕ-ЧЕЛОВЕК
3. Раздельно - НЕ ЧЕЛОВЕК

И каждому аспекту соответствует определенная работа/труд "нечеловеческого", подобная работе/труду "человеческого".

В дерзаниях этой работы остаётся пожелать, что...

"Терпение и труд всё перетрут".

....