Вопрос к тем, кто в отличие от меня знает математику…
Есть аксиоматика А (включающая аксиоматику Пеано, замкнутая для логики первого порядка, короче все условия для ТГН), согласно ТГН, в этой аксиоматике существует утверждение Р, которое в этой аксиоматике истинно, но недоказумо.
я беру обратное утверждение и строю аксиоматику А+~P
если аксиоматика А непротиворечива, то и новая аксиоматика непротиворечива, т.к. если бы она была противоречивой, это опровергало бы Р в А и приводило бы к противоречию с условиями. имеем две непротиворечивых аксиоматики, в одной Р — истинно, в другой — ложно.
вопрос такой. если Р истинно в аксиоматике А, может ли оно в принципе быть ложным в аксиоматике, включающей А в качестве подмножества? ну или где у меня ошибка в рассуждениях?
Кроме рогаликов, должно быть ещё удобно играть в IF.
А как PICO-8? там какая версия сейчас стоит? обновления выходят? разрабатывать удобно? (подозреваю, что рисовать удобнее должно быть, чем мышой, а вот программировать, наверное, довольно грустно) не тормозит?
Напомнило рогалик The Nightmare Cooperative, а так же нитромовский Rust Bucket.
Во втором эта механика встречается несколько раз, первый полностью на ней основан.
да с обзором опоздали лет на шесть-семь )
древний нетбук, 2007го или 2008го года, у нас в конторе их давным-давно купили, в итоге они не понадобились и вот уже лет шесть стоит ящик, в нём штук пятнадцать этих недокомпьютеров. время от времени кто-нибудь из сотрудников берёт домой 1-2 загоревшись какой-нибудь идеей, потом обычно возвращает :)
я на него Kolibri OS ставил, поигрался (здорово бегает) и вернул. Сейчас вот Pico8 поставил и кажется возвращать уже не буду :)
я купил… но подозреваю, что если по всяким трекерам поискать…
плюс к тому есть проект PicoLove, это опенсорсная реализация API Pico8. но там нет всей этой няшности и мимимишности со средой и редакторами, можно только запускать программы.
заодно, в комментариях выложу другую свою любимую игрушку (чем-то они даже похожи :) ) — http://www.puzzlescript.net, может быть когда-нибудь напишу про неё отдельно
А есть простой способ переводить в произвольную систему, без программирования?
Есть. Делим с остатком на основание системы. Остаток записываем справа. С результатом повторяем операцию, пока число не кончится.
19 в двоичной
19/2=9, остаток 1
9/2=4, остаток 1
4/2 = 2, остаток 0
2/2 =1, остаток 0
1/2 = 0, остаток 1
записываем это всё справа-налево — 10011
абсолютно не понимаю почему человека заминусовали…
Что мы видим? Программистские поделки на уровне способного ученика начальной школы и текст на уровне выпускника университета (ну или как минимум очень сильного старшекласника). Причём свои программерские навыки автор считает чем-то из ряда вон выходящим (иначе статьи бы просто не было, ну или возраст в ней бы не указывался) и рассказывает о трудозатратах, приложенных для их приобретения, а свои литературные навыки он вообще не считает чем-то особенным — пишет в комментах, мол да, читаю школьную программу по литературе, не всегда интересно.
Если всё это правда и текст писал девятилетний ребёнок, его литературный талант просто несопоставим с программерским! Разница на порядок просто. Поэтому да, я бы тоже порекомендовал подумать в сторону профессионального написания текстов (от программирования отказываться не обязательно).
Есть аксиоматика А (включающая аксиоматику Пеано, замкнутая для логики первого порядка, короче все условия для ТГН), согласно ТГН, в этой аксиоматике существует утверждение Р, которое в этой аксиоматике истинно, но недоказумо.
я беру обратное утверждение и строю аксиоматику А+~P
если аксиоматика А непротиворечива, то и новая аксиоматика непротиворечива, т.к. если бы она была противоречивой, это опровергало бы Р в А и приводило бы к противоречию с условиями. имеем две непротиворечивых аксиоматики, в одной Р — истинно, в другой — ложно.
вопрос такой. если Р истинно в аксиоматике А, может ли оно в принципе быть ложным в аксиоматике, включающей А в качестве подмножества? ну или где у меня ошибка в рассуждениях?
А как PICO-8? там какая версия сейчас стоит? обновления выходят? разрабатывать удобно? (подозреваю, что рисовать удобнее должно быть, чем мышой, а вот программировать, наверное, довольно грустно) не тормозит?
Во втором эта механика встречается несколько раз, первый полностью на ней основан.
древний нетбук, 2007го или 2008го года, у нас в конторе их давным-давно купили, в итоге они не понадобились и вот уже лет шесть стоит ящик, в нём штук пятнадцать этих недокомпьютеров. время от времени кто-нибудь из сотрудников берёт домой 1-2 загоревшись какой-нибудь идеей, потом обычно возвращает :)
я на него Kolibri OS ставил, поигрался (здорово бегает) и вернул. Сейчас вот Pico8 поставил и кажется возвращать уже не буду :)
плюс к тому есть проект PicoLove, это опенсорсная реализация API Pico8. но там нет всей этой няшности и мимимишности со средой и редакторами, можно только запускать программы.
а я пока борюсь с жабой…
пока вот такой себе покетчип организовал:
или только сама микросхема?
Есть. Делим с остатком на основание системы. Остаток записываем справа. С результатом повторяем операцию, пока число не кончится.
19 в двоичной
19/2=9, остаток 1
9/2=4, остаток 1
4/2 = 2, остаток 0
2/2 =1, остаток 0
1/2 = 0, остаток 1
записываем это всё справа-налево — 10011
19 в пятиричной
19/5 = 3, остаток 4
3/5 = 0, остаток 3
записываем справа-налево — 34
19 в 19-ричной
19/19 = 1, остаток 0
1/19 = 0, остаток 1
записываем справа-налево — 10
19 в любой системе с основанием больше 19
19/Основание = 0, остаток 19
считаем 19 буквами, (помним, что F — 15) получаем J
а «у Васи было три яблока, что за гадкая абстрактная наука?!» — уже как-то странно :)
Что мы видим? Программистские поделки на уровне способного ученика начальной школы и текст на уровне выпускника университета (ну или как минимум очень сильного старшекласника). Причём свои программерские навыки автор считает чем-то из ряда вон выходящим (иначе статьи бы просто не было, ну или возраст в ней бы не указывался) и рассказывает о трудозатратах, приложенных для их приобретения, а свои литературные навыки он вообще не считает чем-то особенным — пишет в комментах, мол да, читаю школьную программу по литературе, не всегда интересно.
Если всё это правда и текст писал девятилетний ребёнок, его литературный талант просто несопоставим с программерским! Разница на порядок просто. Поэтому да, я бы тоже порекомендовал подумать в сторону профессионального написания текстов (от программирования отказываться не обязательно).