[d | an-b-bro-fr-gf-hr-l-m-maid-med-mi-mu-ne-o-old_o-p-ph-r-s-sci-sp-t-tran-tv-w-x | bg-vg | au-mo-tr | a-aa-abe-azu-c-dn-fi-hau-jp-ls-ma-me-rm-sos-tan-to-vn | misc-tenma-vndev | dev-stat]
[Burichan] [Futaba] [Gurochan] [Tomorrow] [Архив-Каталог-RSS] [Главная]

Файл: -(159 KB, 480x272)
159 No.4211787  

Сырны, а среди нас есть какие-нибудь олимпиадники? По каким предметам, какая на ычане же подготовка?

>> No.4211789  

>>4211787
В спецолимпиаде на Ычане побеждал. Готовился здесь же.

>> No.4211790  

>>4211787
Есть.

Вице-чемпион Ычана по замораживанию лягушек, заслуженный мастер бакования.

>> No.4211796  

>>4211787
Я Наруто, а не Сырно!

>> No.4211812  

>>4211787
А что ты хочешь? Похожие задания дает учитель, либо разбираете на "сборах" с вузовскими преподами. Материалов пруд пруди.

>> No.4211827  

Я выиграл когда-то олимпиаду по информатике, причём уже тогда я был лузером и получил второе место, а первое не получил никто.

>> No.4211854  

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

>> No.4211865  

Есть победа в олимпиаде первого уровня РСОШ по информатике. Правда для победы в всеросе мой скил слишком слаб.

>> No.4211866  
Файл: -(102 KB, 960x567)
102

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

>> No.4211892  

Доходил до школьного всероса по математике. Но не более. Лично знаком с несколькими межнарниками. Сейчас же бакую и помогаю вести кружок у семиклассников. Ну и попутно призерствовал на областной по физике. А чему вы спрашиваете?

>> No.4211895  

>>4211865
Ух ты, у меня тоже есть, такая победа! А ты уже поступил куда-нибудь?

>> No.4211897  

Из-за глупости не получил 3 место на олимпиаде по английскому, не хватило 1 пункта, потому что фраза No see казалась мне грамматически правильной, а посмотрел я ее в фильмах. Но все равно прошел на региональную, но ничего не занял. Через год так же 4 место, и 2 пункта до 4 места на региональной не хватило. Так что как-то так, лучше, чем ничего. Ну и участие по истории.

>> No.4211902  

>>4211787
Если можно считать победу в школьной по истории, следующий этап мной был благополучно прогулян. Мне безразлична эта экспозиция снобской энциклопедичности, на бюджет я и так сама поступила и сама же отчислилась.

>> No.4211903  

>>4211902
Шаурмячную-то уже открыла?

>> No.4211904  

>>4211903
Что ты ко мне пристал?

>> No.4211905  

>>4211904
Мне интересно, как у тебя дела. Хочется попить с тобой чаю и накормить тебя вкусным супчиком.

>> No.4211907  
Файл: -(394 KB, 500x269)
394

Я в школе очень много ходил на олимпиады. Обычно только до уровня района, да до уровня города доходил. Но один раз прошел до областного уровня! По ОБЖ! Олимпиада была, кстати, в том универе, в который я потом и поступил.
Кроме всероссийской участвовал в каких-то других олимпиадах, типа Кенгуру. За участие в них мне надарили кучу ручек, брелоков, блокнотов, один раз даже полотенце было! Оно такое большое и оражевое, круто!
А еще участвовал в какой-то, я точно не помню какой, но мне за участие или победу подарили скидон на обучение в автошколе! Это пока самая большая награда за олимпиады.
Но только оказалась, что скидка распространяется только на теоретическое обучение, а узнал я про это, когда такой радостный отъездил почти всю практику, а оказалось, что еще доплатить надо. Зато потом в автошколе сдал все с первого раза.
В универе ходил на пару олимпиад, физика вроде и информатика. Ничего не выиграл. Зато когда сходил на английский и занял там второе место среди факультета, мне подарили книгу Вино из одуванчиков Рея Брёдберри в оригинале.
До сих пор не прочитал, вот я бака

>> No.4211927  

>>4211907
Не очень-то оно и большое.

>> No.4211936  

>>4211787
А тебе, собственно, зачем?
мимо золотой медалист межнара

>> No.4211944  

1-е место на районной олимпиаде по математике в 8-м классе
Учиться не очень нравилось, поэтому никуда дальше не отправляли

>> No.4211986  

>>4211936
По какому предмету?

>> No.4211990  

>>4211927
Ты в доме напротив живёшь, да?

>> No.4211997  

>>4211895
Нет. В следующем году буду. Хотелось бы в ИТМО на ФИТиП в КТ.

>> No.4211998  

>>4211990
У меня тоже есть кенгуровое полотенце. Не такое оно и большое.

>> No.4212015  

>>4211986
Может тебе ещё и год назвать? Слишком снижает круг поисков, так что нет. Но не информатика.

>> No.4212016  

>>4211866
Умнейшая же, даже несмотря на понедельник!
https://www.youtube.com/watch?v=xFdDNrd6W9s

>> No.4212029  
Файл: -(29 KB, 352x344)
29

>>4211997
Ух-ты ничего себе, я же на этой кафедре учился пока не выперли.

>> No.4212037  
Файл: -(65 KB, 750x600)
65

Борда олимпиадников
iichan.hk/b

>> No.4212044  

>>4212015
Я про математику.
>>4211892-кун

>> No.4212128  

>>4212044
Я просто хочу понять, знаю я тебя или нет.

>> No.4212302  

>>4212128
так подойди к ней и заговори, хикке.

>> No.4212331  
Файл: -(288 KB, 500x705)
288

>>4211787
Всю школу (разумеется, кроме начальной) побеждал/лидировал в городских по английскому. Последние года три-четыре ездил в округ и побеждал/лидировал там. На стране уже ничего не добивался, потому что Никогда нисколько не готовился.

>> No.4212386  
Файл: -(118 KB, 715x1000)
118

>>4211892>>4211936
Пока вы здесь, спрошу кое-что про вторую теорему Гёделя? Я что-то туплю.

Правила вывода зафиксируем, а наборы аксиом будем задавать генерирующими их программами, например:

def A():
for f in Well_formed_formulae():
yield "¬¬{formula}→{formula}".format(formula=f)
  • Будем говорить, что аксиоматика хорошая, если она непротиворечивая и достаточно мощная для арифметики.
  • Пусть Gödel(A) выдаёт Gödel sentence для аксиоматики, порождаемой программой A, — если, конечно, эта аксиоматика хорошая. Для плохих аксиоматик не важно, что там происходит.
  • Patchouli() выдаёт хорошую аксиоматику.

Рассмотрим теперь аксиоматику Сырно:

def Cirno():
yield Gödel(Cirno_source_code_including_Gödel_and_Patchouli())
for x in Patchouli():
yield x

Значит, Cirno() выдаёт свой Gödel sentence, если только она достаточно мощная (но в этом сомнений нет) и непротиворечивая. Получается, Cirno противоречива, или я чего-то не понимаю в теоремах Гёделя?

>> No.4212426  

>>4212386
Не понял, что это

>Cirno_source_code_including_Gödel_and_Patchouli()

и это

>"¬¬{formula}→{formula}".format(formula=f)
>> No.4212469  
Файл: -(86 KB, 400x400)
86

>>4212426

> "¬¬{formula}→{formula}".format(formula=f)

— это то же, что "¬¬%s→%s" % (f,f), или sprintf (result, "¬¬%s→%s", f, f), если не по-питоньи.

> Cirno_source_code_including_Gödel_and_Patchouli()

— это то же, что и Cirno, то есть просто код самой программы. Думал[а], так понятнее будет, да и видеть Cirno внутри Cirno как-то неловко.

>> No.4212475  

>>4212469

>это то же, что и Cirno

А что такое Cirno? Пока вижу, что она выдаёт утверждение Гёделя для какой-то теории, а потом аксиомы Patchouli.

>> No.4212534  

Нам надо паралимпиаду по математике организовать!

>> No.4212535  
Файл: -(135 KB, 776x1029)
135

>>4212475

> Пока вижу, что она выдаёт утверждение Гёделя для какой-то теории, а потом аксиомы Patchouli.

А она только это и делает! Ведь теорема Клини о рекурсии разрешает Сырне читать свой исходный код? Ну, можно написать и без таких допущений, только громоздко получится:

def Cirno():

partial_source = """

def Gödel(A):
. . . # Gödel source code

def Patchouli():
. . . # Patchouli source code

def complete_source (main_part):
return '''
partial_source = \"\"\"%s\"\"\"

source = complete_source (partial_source)
exec (partial_source)
''' % main_part

yield Gödel(source)
for x in Patchouli():
yield x
"""

source = complete_source (partial_source)
exec (partial_source)

— это с точностью до пробелов и, может быть, экранирования. Такие штуки, вроде, куайнами называют?

>> No.4212549  
Файл: -(104 KB, 420x315)
104

>>4212535
А, нет же! Сырне ведь complete_source нужен раньше, чем exec его прочитает. Тогда изменим чуть-чуть (разделим partial_source надвое):

def Cirno():

source_part1 = """
def complete_source (part1, part2):
return '''
source_part1 = \"\"\"%s\"\"\"
source_part2 = \"\"\"%s\"\"\"

exec (source_part1)
source = complete_source (source_part1, source_part2)
exec (source_part2)
''' % (part1, part2)
"""

source_part2 = """

def Gödel(A):
. . . # Gödel source code

def Patchouli():
. . . # Patchouli source code

yield Gödel(source)
for x in Patchouli():
yield x
"""

exec (source_part1)
source = complete_source (source_part1, source_part2)
exec (source_part2)
>> No.4212554  

>>4212535
Читать может и разрешает, но вот при выполнении у тебя проблема остановки и весь код можно выбросить в мусорку.

>> No.4212557  

>>4212549
Всё понятно. В общем, не вижу причины, почему теория не может быть противоречивой. Доказуемость утверждения Гёделя эквивалентно противоречивости.

>> No.4212588  
Файл: -(332 KB, 818x977)
332

>>4212554
Нужно было написать get_Cirno_source_code_including_Gödel_and_Patchouli() вместо Cirno_source_code_including_Gödel_and_Patchouli(). Мой косяк.

>>4212557

> В общем, не вижу причины, почему теория не может быть противоречивой.

Хорошо, что ты тоже так думаешь, я подозревал[а] ошибку где-то в другом месте. И ещё это всё очень контринтуитивно.

Смотри, аксиоматика Сырно состоит из аксиоматики Пачули и утверждения Gödel(Cirno). Если, например, Пачули прекрасно разбирается в арифметике и никогда не допускает ошибок, то Gödel(Cirno) должно быть утверждением прямо-таки ложным (поскольку вступает в противоречие с теорией Пачули)! А мы как-то привыкли доверять Гёделю, ведь его назначение — находить недоказуемые арифметические истины.

Оправдание Гёделя, конечно, в том, что Gödel(Cirno)Gödel(Patchouli), а в непротиворечивости Cirno() у нас уверенности нет, так что Гёдель может и не соблюдать обычные правила приличия. Другими словами, Гёдель обманывает Сырну, потому что она может ошибаться, а Сырна ошибается исключительно потому, что верит Гёделю, который её обманывает.

Но главное, что до меня это начало доходить только под конец >>4212386. Какой скользкий тип этот Гёдель!

>> No.4212610  

>>4211892

> помогаю вести кружок у семиклассников

АПО?

>>4211787
Был на пяти всеросах(матем, информатика, физика), но на всех ничего не занял.

>> No.4212612  

>>4211892
nvm
*
>>4212610-бака*




[d | an-b-bro-fr-gf-hr-l-m-maid-med-mi-mu-ne-o-old_o-p-ph-r-s-sci-sp-t-tran-tv-w-x | bg-vg | au-mo-tr | a-aa-abe-azu-c-dn-fi-hau-jp-ls-ma-me-rm-sos-tan-to-vn | misc-tenma-vndev | dev-stat]
[Burichan] [Futaba] [Gurochan] [Tomorrow] [Архив-Каталог-RSS] [Главная]