Меню

Облако тегов
О себе

"-Я ...", это как правило начало самого подробного и не лестного рассказа о себе.

Автор.

    Я прогер, по этому не спрашивайте как исправить кракозябры в файле, забыл как это делается, читаю как есть. Если кто то не согласен с моим криативом, или я кого-то задел,  просьба не комментируйте на сайте, пишите прямо на email, возможно нам есть о чем поговорить, в крайнем случае узнаем много новых русских слов которые редко используем.

    Ну вот и познакомились, теперь о главном. Семейное положение, был женат. Дети, любимая дочька. Место жительства Израиль. Так получилось, что я украинский еврей у которого родной язык русский. А так как язык великий, то и ваяю я на нем и еще на C++, PHP, Java... ну и подобном.

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

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

    Забыл добавить, со знаменитыми Резниками меня роднит только порядок букв в фамилии.

    Мой email: vitalyreznik@gmail.com

    Виталий Резник

Научная работа / Research

Independent Researcher, с 2023. Формальная логика, верификация, основания математики. Работы в открытом доступе, машинно проверены в Lean 4.

Independent researcher since 2023. Formal logic, verification, foundations of mathematics. Open-access work, machine-checked in Lean 4.

ORCID: 0009-0002-4103-6387 — 20 работ
GitHub: github.com/inventor1975
Для рабочей переписки / for correspondence: tech@vitalyreznik.com

Избранное / Selected: