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

>>4211787
Есть.

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

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

>>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 противоречива, или я чего-то не понимаю в теоремах Гёделя?

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

>Cirno_source_code_including_Gödel_and_Patchouli()

и это

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

>>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 как-то неловко.

>>4212469

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

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

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

>>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)

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

>>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)

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

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

>>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. Какой скользкий тип этот Гёдель!

>>4211892

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

АПО?

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

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