
Méthode axiomatique et formalisme/ Jean Cavaillès. Pt.3, La non-contradiction de l'arithmétique
Tác giả : Jean Cavaillès.
Nhà xuất bản : Hermann et Cie
Năm xuất bản : 1938
Nơi xuất bản : Paris
Mô tả vật lý : p.125-194; 25cm
Tùng thư :
Actualités scientifiques et industrielles. No.610
Le progrès de l'esprit ; T.11
Chủ đề : 1. Phương pháp. 2. Số học. 3. Toán học.
Thông tin chi tiết
Tóm tắt : | Những chứng minh của sự không mâu thuẫn (phương pháp đánh giá, phương pháp của sự tan rã, giải pháp bằng cách mở rộng khu vực siêu toán học...). Lý thuyết khái quát hoá, thí nghiệm các ký hiệu, thí nghiệm biện chứng và sự tồn tại của các khách thể.. |
Thông tin dữ liệu nguồn
Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
---|---|---|
![]() |
M13679 |
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-202293.html |