Войти в систему

Home
    - Создать дневник
    - Написать в дневник
       - Подробный режим

LJ.Rossia.org
    - Новости сайта
    - Общие настройки
    - Sitemap
    - Оплата
    - ljr-fif

Редактировать...
    - Настройки
    - Список друзей
    - Дневник
    - Картинки
    - Пароль
    - Вид дневника

Сообщества

Настроить S2

Помощь
    - Забыли пароль?
    - FAQ
    - Тех. поддержка



Пишет Misha Verbitsky ([info]tiphareth)
@ 2024-04-04 10:32:00


Previous Entry  Add to memories!  Tell a Friend!  Next Entry
Настроение: sick
Музыка:Олег Гапонов - ЛУЧШИЕ 10 ПЕСЕН ЗА 20 ЛЕТ
Entry tags:math, smeshnoe

The deification of the West based on Christianity and Judaism!
Профессор Шиничи Мочизуки, уважаемый,
выступает на политические темы. Перевожу
гуглопереводчиком из его бложека, который называется
"Голос сердца Шиничи".

The deification of the West based on Christianity and
Judaism, the ideology of the chosen people, and the
suppression of reason.


Here, we have a detailed explanation,
which we
published in August, last year, regarding the situation
surrounding the interuniversal Teichmuller theory, which
we published last August.

It is truly unfortunate that, despite the ?continuing
strange situation (I have not received any replies to my
e-mails), the completely meaningless confusion
surrounding theory still persists, especially in Europe
and the United States. Under these circumstances, last
year I had more opportunities to interact with professors
at top universities in Europe, and to be honest, I
couldn't stop myself from opening my mouth. I have
received several testimonies (verbal and email) that are
very "interesting" from my point of view, and I would
like to take this opportunity to share them with my
readers.

In many of my past experiences (personal communication
verbally and via email, as well as tone of opinion seen in
English-language media and online postings, etc.), I have
found that there is a lot of confusion with Western
mathematicians (``Western vs. non-Western''). Even if you
don't use any expressions that would lead people to think
in this direction), if you bring up a topic like this,
there is a very high probability that it will be based on
the composition of ``Western vs. non-Western Japan.'' The
speech comes back. In other words, to summarize briefly,
my theory is correct, ?and what was pointed out as a
mistake in the theory by a young professor who is
considered to be super elite, is ?actually a simple
elementary misunderstanding at the graduate school level.

If this is nothing more than a misunderstanding,
Westerners, who are God's chosen people (= ?``chosen
people'' = a kind of ``deification''), ?in other words,
God is overwhelmingly (compared to non-Western people) God
has betrayed ?his promise to the Westerners he should
have loved the most in such ?a violent and cruel way that
it is simply impossible, unacceptable, ?unthinkable,
and unbelievable. It's an attitude. Power structure in
Western society that is connected to Religion in
Western society (= Christianity/Judaism) and the power
structure based on race/ethnicity of "Western
vs. non-Western" has been very common in world
history.

Mr. Chomsky, who explains this way, is not ?in any way
opposed to Jews, and is himself Jewish, but ?from the
perspective of fellow Jews and Israelis, he is an ?
insider, testimonies from people in positions such as
Jewish settlers ( talking ?about the similarities between
David and Goliath ) and sons of big-name Israeli
politicians and soldiers ?(talking about the occupation
of Palestine), ?testimonies that harshly criticize it
as a type ?of ``apartheid system'' ) are also really
interesting. Since these topics are anyway well known and
are not my academic expertise, I do not intend to explain
them in detail here, but for a more detailed (in English)
I would like to recommend a number of video links.

The situation surrounding the interuniversal ?Teichmuller
theory ?has been mysteriously emphasized, such as by
emphasizing the importance of dialogue ??as the only way
to resolve various types of ``cognitive dissonance.'' The
testimonies of biblical ?scholars were very impressive.

As emphasized repeatedly in ??the section on far-Abelian
Adair analysis in 1.12 and in [Alien] 4.1,
interuniversal Teichmuller theory has deep connections
with various classical mathematical theories. It is a
theory that has relationships. Lastly, I would like to
quote one quote that left an impression on me last year:
In a lecture looking back on 2023 the end of his lecture:
Japan's raison d'etre in the world is that it shares the same
democratic values ??(such as the "rule of law" as mentioned
above) with the United States and other countries in
Europe, and that it has appointed itself as the
standard-bearer for those values. In contrast to the
United States, which has adopted a stance that contradicts
its values, Japan has an unwavering stance of simply
upholding its values ??honestly and honestly.


Привет



(Читать комментарии) - (Добавить комментарий)


[info]sasha_gil
2024-04-07 17:41 (ссылка)
Я слежу за этой областью, она мне интересна. Факты (спасибо LinkedIn и другим открытым источникам) - автор Lean перешёл из Microsoft в Amazon около года назад (аналогично автору ЯП с верификацией Dafny, который этот путь проделал несколько лет назад). В Amazon есть профильное производственное подразделение (в Microsoft эта тема, насколько мне известно, в веденьи research-подразделения, там другие приоритеты). Собственно, многого это не меняет - название корпорации M заменяется на название корпорации A - тем не менее, такие переходы расширяют применимость технологий (у Dafny, кроме ранее единственного бэкендна в майкрософтовский C#, появились и стали развиваться другие бэкенды, в первую очередь - необходимый Амазону бэкенд в Java). Разработка Dafny ведётся в открытую на GitHub, я подумывал присоединиться (улучшать / переделывать бэкенд Dafny в C++) - к сожалению, подверстать к своим производственным задачам пока не могу, а для хобби-проекта я выбрал нечто другое.

Возвращаясь к Lean - официальная оргнизация, занимающаяся развитием технологии, была сформирована в прошлом году (возможно, синхронизовано с сменой работы автора) - Lean FRO (https://www.linkedin.com/company/lean-fro - ого, уже 10 сотрудников! Где они берут деньги, любопытно... Кстати, нанимают на позицию удалённого программиста worldwide, хотя с определёнными локациям могут быть проблемы, думаю).

Про несовместимость версий я комментировать не буду, не погружался в вопрос.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]66george
2024-04-07 19:31 (ссылка)
Больших математических отличий Lean от Coq нет (так что не очень понимаю, зачем он нужен). Делает Lean (или делал год назад, не следил) хороший специалист (бразилец, кстати) Carneiro, он же теперь остался за старшего в Metamath после смерти Нормана Мегилла. Вообще, сейчас на формализацию доказательства в любом пруфчекере уходят время и силы, сравнимые с самим доказательством. Если ты год что-то доказывал, потом будешь год формализовать. Так что до удобных пруфчекеров пока далеко.

(Ответить) (Уровень выше) (Ветвь дискуссии)


[info]sasha_gil
2024-04-07 20:12 (ссылка)
Как я написал выше анониму, с моей досужей точки зрения - основное отличие в мощности "движухи" (community) и богатстве / динамике расширения mathlib (что, собственно, двигает в сторону удобства). Боковое рассмотрение (чисто спекулятивное) - выбор молодого специалиста в пользу Lean может быть обсуловлен бОльшими возможностями получить зачёт, написать статью - в сравнении с Coq, с которым делали (и, может, продолжают делать) статьи формализаторы старшего поколения. Чёткая поколенческая отсечка. Кстати, просмотрел заметку computer scientist-а, в которой он аргументировал свой выбор для работы с алгоритмами в пользу Coq, сравнивая с Lean и Isabelle - https://ntietz.com/blog/first-impressions-of-lean-and-coq/ (на случай, если вам будет интересно просмотреть; я так и не знаю, кто вы по профессии - я вот - программист).

(Ответить) (Уровень выше)


(Читать комментарии) -