?
?
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
← →
1st
  • 08:01 am Если ты хочешь стать живописцем - 10 comments
3rd
  • 10:16 am В мои лета не должно - 20 comments
4th
  • 01:19 pm Трезвый взгляд - 4 comments
8th
  • 07:21 am Не удалась моя карьера - 54 comments
11th
  • 07:48 am Сестра таланта - 15 comments
13th
  • 08:02 am Красный, дрожащий Марс - 30 comments
17th
  • 07:12 am Твои хромающие истины - 179 comments
22nd
  • 07:12 am Мне не видно уха у героя – дайте, дайте ухо мне анфас!
24th
  • 06:19 am Кто боится Вирджинии Вулф?.. - 6 comments
31st
  • 07:57 am Когда бы изменить ценою гекатомбы - 27 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

  • skogar
    9 Mar 2021, 03:25
    Я тоскую, как странник по дому, по наивной системе Эвклида
    Выберите любую из упоминавшихся, тогда и будет. Они ведь все почти одинаковые и отличаются в частностях, а нам наверняка нужно то, что относится к их общей части.
  • 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. Этот алгоритм можно перевести на язык аксиом?
    Несколько странно, что Вы настаивали на строгости рассуждений, когда мы обсуждали арифметику, а сейчас рассуждаете совсем…

Search