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

yoginka
9 Mar 2021, 03:51
Я тоскую, как странник по дому, по наивной системе Эвклида
Выбрала две, для которых есть статьи в википедии:
https://en.wikipedia.org/wiki/Hilbert%27s_axioms
и
https://en.wikipedia.org/wiki/Birkhoff%27s_axioms
Последняя использует действительные числа.
yoginka
9 Mar 2021, 03:38
Я тоскую, как странник по дому, по наивной системе Эвклида
Сейчас посмотрю, что там есть. Это займет некоторое время.
skogar
9 Mar 2021, 03:25
Я тоскую, как странник по дому, по наивной системе Эвклида
Выберите любую из упоминавшихся, тогда сразу и будет; не понравится - заменим :)
Они ведь все почти одинаковые и отличаются в частностях, а нам наверняка нужно то, что относится к их общей части.
yoginka
9 Mar 2021, 03:23
Я тоскую, как странник по дому, по наивной системе Эвклида
По поводу 1 и 2 пока не вижу у себя твердой почвы для рассуждений.

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

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