>>134760062 (OP)
какие профиты получил?

>>134760436
Грант на обучение и квартиру на время обучения.

>>134760483
это в какой стране?

>>134760515
СШП

>>134760571
ясно
как вкатился?
чему научился?

Какая профессия тебя ждет? Старший логик?

>>134760637
Киевский КНУ кибернетика => Матфак ВШЭ => Беркли. Ничего особенного, подал заявление, написал нужные экзамены и меня взяли.
Научился аутировать над всякими штуками.
>>134760781
Профессор. В идеале.

бамп

>>134760062 (OP)
ЛОГИК? А ГВОЗДЬ ЗАБИТЬ СМОЖЕШЬ, ЛОГИК?]
Йоба.жпг

>>134760062 (OP)
какой левол? долго шел к этому?

Из всех правил существует исключение.

прошу анализ данного высказывания.

>>134761115
Чего сдавал? гре сдавал? акие оценки были в атестате и универе?

0 and 1

>>134760062 (OP)
Ну давай посмотрим, какой ты хороший логик. Смотри:
Повар спрашивает у повора: Какого будет значение моего высказывания, если я тебе скажу - "то, о чем я говорю в данный момент, является ложью"?

>>134763001
GRE subject math, GRE general и TOEFL. На школьный атестат всем похуй. КНУшные оценки (бакалавриат) плохие, оценки в магистратуре матфака ВШЭ - хорошие, средний балл почти максимальный.

В США жить останешься?

>>134763157
Долго к мату готовился, вцелом сколько к гре, ну и какой лвл.

Кем был тот студент?

>>134762855
24, с 3 курса бакалвариата понял, что фундаментальная математика нравится больше, чем программирование. К концу 4го курса понял, что логика и метаматематика нравится больше, чем фундаментальная математика. Так что не так уж и долго.
>>134763222
Если будет возможность - то да. Мне до treasure track ещё как до луны.
>>134763297
Около трёх месяцев, к ТОЕФЛу начал подготовку за год до.

>>134763093
"Я повар".

>>134763362
тре месяца на ан оба гре? а на тоефл год? а не пиздишь? тоефл для всех долбаёбов, а гре это для аспирантуры , как бы уровень разный.

>>134763362
И кем ты будешь в/на Украине, если в США невозможно будет остаться?

>>134763575
Так или иначе можно будет податься на post-doc куда-нибудь. На крайний случай пойду в аспирантуру по второму кругу.
>>134763571
Ты о чём вообще? TOEFL и GRE subject проверяют совершенно разное - знание языка и знание своего предмета. Не понимаю, каким образом их можно сравнивать по сложности.

>>134762909
ну же, логик.

>>134764237
Не думаю, что я смогу сказать что-то больше, чем сказано в статье о парадоксе лжеца на энвики.

>>134760062 (OP)
В чём разница между бесконечными суждениями и утвердительными?

>>134764405
Я не знаю что сказано в статье.
Но расскажи как бы выкрутился из этой ситуации.

>>134760062 (OP)
Хуи сосешь?

>>134760062 (OP)
что скажешь о витшенгтейне как логике?
он для логики что-то сделал? я просто не понял почему у него работа называется логико-философский трактат

>>134760062 (OP)
Чем по существу в современном мире логика отличается от математики? Ты разве не занимаешься математикой?

>>134764497
Так а ты почитай.
Я бы никак не выкручивался, потому что я занимаюсь математической и формальной логикой, а там (в классических вариантах, по крайней мере) этот парадокс сформулировать невозможно.
>>134764447
Впервые о них слышу.
>>134764537
Историю я плохо знаю, поэтому о его влиянии судить не могу, но лично он мне очень нравится и дух формальной логики в его работах чувствуется.
>>134764640
История таких знает, лишь бы была энергия. Только 3-4 года на основания топологии - это явно очень много, хотя непонятно, что ты под "основаниями" понимаешь.
>>134764613
Математики тусуются с математиками, а логики тусуются с математиками, computer scienтистами и аналитическими философами и ещё хрен пойми с кем. У нас там свои авторитеты, журналы и такое всё.

На остальные вопросы отвечу позже.

>>134762909
Если взять данное утверждение за правило, то следует, что существует правило, из которого нет исключения.

Изи.

Я учусь на ютубе на порноактера. Спрашивайте ответы.

>>134765125
Хуи сосешь?

>>134765025
три года это на всё, а топология... интересует только с той стороны что покажет мне инварианты групп преобразований в квантовой физике.

>>134765031
>Я бы никак не выкручивался, потому что я занимаюсь математической и формальной логикой, а там (в классических вариантах, по крайней мере) этот парадокс сформулировать невозможно.
что ж ты за логик, Principia Mathematica то не читал.
Вот Брертран классно решил эту задачу.

>>134765025
>Математики тусуются с математиками, а логики тусуются с математиками, computer scienтистами и аналитическими философами и ещё хрен пойми с кем. У нас там свои авторитеты, журналы и такое всё.
Вот как конкретно выглядит твоя работа? Я представляю, как работают математики, имею представления о методах и т.д. Ты доказываешь утверждения, леммы, делаешь какие-то построения или твоя работа - это что-то другое?

>>134765155
Да. Преимущественно тянские у трапиков

>>134764536
Бамп вопросу

зачем?

>>134765313
Я мимо шел.
То, что парадокс решается матаном - это очевидно, но я не шарю в матане, поэтому просто доформулировал высказывание.

>>134765320
В целом близко. Примерно все так и выглядит.

>>134765450
Я уже писал выше. >>134763362

>>134760062 (OP)
А после учёбы то куда? Не представляю, куда вообще трудоустраиваются люди с подобными специальностями.

>>134765320
Лично моя - да, но многие миксуют философию и математику - Крипке и Хинтикка, например.
>>134765313
Во-первых в PM есть фактическая ошибка на 5-6 странице, а во-вторых ничего не классно - у него был очень уродливый вариант теории типов где у него была счётная последовательность "уровней" и каждое определение формально нужно повторять для каждого уровня отдельно и, дескать, утверждение уровня n может содержать только ссылки на утверждения уровня n-1 - не вижу в этой конструкции никакой красоты, в математике Рассел понимал очень мало, в-третьих ты не определил что ты понимаешь под "решением".

Тут какой-то мой твинк появился, поэтому теперь буду плашку ОПа ставить.

>>134766310
На post-doc потом на профессорскую позицию, уже отвечал.

>>134766996
>Лично моя - да
Очень интересно.
Ты при этом используешь "обычную" математику? Ну всякую алгебру там, теорию множеств и т.д.?

>>134760062 (OP)
Скажи, ОП, а без аксиомы выбора совсем никак, или это не по твоей епархии?

>>134767467
Теория множеств - как раз необычная математика, ей всякие логики занимаются. Но я скорее занимаюсь теорией топосов и разработкой топосных вариантов Космических Кубов.
>>134767848
В анализе очень даже можно без неё. В алгебре придётся каждый раз добавлять что-то типа "пусть Х кольцо, которое имеет хотя бы один максимальный идеал", что очень неэстетично. Тут скорее вопрос удобства.

>>134768009
ОПчик, надо ли топологию блядскую запретить?

>>134768481
Определённо.

Оп тут хуйня изначально какая то с детства, типо предрасположенности, или хорошие преподы или что? что сыграло?