niftycent.com
NiftyCent
RU
Логин
Базарная площадь
Скидки

The Peano Axioms: Building Blocks of Arithmetic

Article URL: https://principlesofcryptography.com/number-theory-primer-an-axiomatic-study-of-natural-numbers-peano-axioms/

Comments URL: https://news.ycombinator.com/item?id=43464541

Points: 33

# Comments: 9

https://principlesofcryptography.com/number-theory-primer-an-axiomatic-study-of-natural-numbers-peano-axioms/

созданный 1mo | 24 мар. 2025 г., 21:20:06


Войдите, чтобы добавить комментарий

Другие сообщения в этой группе

Zhaoxin's KX-7000
Zhaoxin's KX-7000

Article URL: https://chipsandcheese.com/p/zhaoxins-kx-7000

Comments URL:

30 апр. 2025 г., 23:30:09 | Hacker news
The best – but not good – way to limit string length
The best – but not good – way to limit string length

Article URL: https://adam-p.ca/blog/2025/04/string-length/

Comments URL:

30 апр. 2025 г., 23:30:08 | Hacker news
Mercury, the first commercial-scale diffusion language model
Mercury, the first commercial-scale diffusion language model

Article URL: https://www.inceptionlabs.ai/introducing-mercury

Comments URL:

30 апр. 2025 г., 23:30:08 | Hacker news
Home washing machines fail to remove important pathogens from textiles
Home washing machines fail to remove important pathogens from textiles

Article URL: https://medicalxpress.com/news/2025-04-home-machines-important-pathogens-textiles.html

30 апр. 2025 г., 23:30:07 | Hacker news
Espressif's ESP32-C5 Is Now in Mass Production
Espressif's ESP32-C5 Is Now in Mass Production

Article URL: https://www.espressif.com/en/news/ESP32-C5_Mass_Production

Comments URL:

30 апр. 2025 г., 23:30:06 | Hacker news
How to Not Get Poisoned in America
How to Not Get Poisoned in America

Article URL: https://buttondown.com/theswordandthesandwich/archive/how-to-not-get-poisoned-in-am

30 апр. 2025 г., 23:30:03 | Hacker news
The Mira Pro Color is Boox's first color E Ink monitor
The Mira Pro Color is Boox's first color E Ink monitor

Article URL: https://www.theverge.com/news/658705/boox-mira-pro-color-e-ink-desktop-monitor

Comm

30 апр. 2025 г., 21:10:14 | Hacker news
Techie
Techie