?
?
LiveJournal
  • Find more
    • Your 2020 in LJ
    • Communities
    • RSS Reader
  • Shop
  • Help
  • Login
  • CREATE BLOG Join
  • English (en)
    • English (en)
    • Русский (ru)
    • Українська (uk)
    • Français (fr)
    • Português (pt)
    • español (es)
    • Deutsch (de)
    • Italiano (it)
    • Беларуская (be)
egovoru —
Subscribe
LiveJournal

Log in

No account? Create an account
Forgot password
Facebook Twitter Google RAMBLER&Co ID

By logging in to LiveJournal using a third-party service you accept LiveJournal's User agreement

No account? Create an account

Досужие мысли

Ах, было б только с кем поговорить!..

  • Recent Entries
  • Friends
  • Profile
  • Archive
  • Tags
  • Categories
  • Memories
← →
6th
  • 09:00 am Там, под оливами, близ шумного каскада - 48 comments
13th
  • 09:00 am Всем попробовать пора бы как вкусны и нежны крабы - 89 comments
20th
  • 09:00 am Сбрей брадобрей все нормальные множества - 184 comments
27th
  • 09:00 am И твой, бесконечность, учебник - 243 comments
Collapse

Calendar

Mar 2021
S M T W T F S
  1 2 3 4 5 6
7 8 9 10 11 12 13
14 15 16 17 18 19 20
21 22 23 24 25 26 27
28 29 30 31      

Tags

  • ecce homo
  • genius loci
  • o mores
  • quid est veritas
  • quo vadis
  • Новый Свет
  • бесконечность
  • биофилия
  • благодарность
  • виртуальный мир
  • война
  • время
  • добро и зло
  • душа
  • жизнь
  • интеллигенция
  • информация
  • искусство
  • история
  • кино
  • книги
  • математика
  • милосердие
  • мироздание
  • модерн
  • мой 20-й век
  • наука
  • неравенство
  • общество
  • персоналии
  • песни нашего века
  • прогресс
  • просто мысли
  • религия
  • свобода
  • сознание
  • справедливость
  • стихи про меня
  • хлеб насущный
  • цивилизация
  • чему свидетели
  • школа
  • язык

Categories

  • it
  • армия
  • архитектура
  • город
  • дача
  • дети
  • дизайн
  • еда
  • животные
  • здоровье
  • знаменитости
  • искусство
  • история
  • кино
  • компьютеры
  • корабли
  • космос
  • криминал
  • лингвистика
  • литература
  • лытдыбр
  • медицина
  • мода
  • музыка
  • напитки
  • наука
  • образование
  • общество
  • отношения
  • политика
  • праздники
  • природа
  • происшествия
  • психология
  • птицы
  • путешествия
  • религия
  • россия
  • рукоделие
  • семья
  • спорт
  • ссср
  • техника
  • технологии
  • фантастика
  • философия
  • финансы
  • эзотерика
  • экология
  • экономика
  • ...

Comments

  • yoginka
    9 Mar 2021, 03:23
    Я тоскую, как странник по дому, по наивной системе Эвклида
    По поводу 1 и 2 пока не вижу у себя твердой почвы для рассуждений.

    //Есть, она задаётся любой из аксиоматик, которые Вы упоминали.//
    - У НАС С ВАМИ нет, потому что мы ничего из этого не выбрали…
  • skogar
    9 Mar 2021, 02:55
    Я тоскую, как странник по дому, по наивной системе Эвклида
    1. Не думаю. Берем какой-нибудь отрезок и объявляем, что его длина есть число 1. Исходя из этого по-видимому можно построить все двоичные числа (складывая отрезки и разбивая пополам). Надо только всё…
  • yoginka
    9 Mar 2021, 02:43
    Я тоскую, как странник по дому, по наивной системе Эвклида
    1. Подозреваю, придется просто вводить действительние числа как дополнительные аксиомы. Есть риск при этом подпасть под условия теоремы Геделя о неполноте, которого исходная аксиоматика благополучно…
  • skogar
    9 Mar 2021, 02:25
    Я тоскую, как странник по дому, по наивной системе Эвклида
    1. А мы хотим ее построить.
    2. Этот алгоритм можно перевести на язык аксиом?
    Несколько странно, что Вы настаивали на строгости рассуждений, когда мы обсуждали арифметику, а сейчас рассуждаете совсем…
  • yoginka
    9 Mar 2021, 02:21
    Я тоскую, как странник по дому, по наивной системе Эвклида
    1. Насколько я понимаю, численная структура вообще не строится. Доказательства ведутся с помощью построений, используя циркуль и линекйку.
    2. Пара перпендикулярных прямых строится этим способом.…

Search