loading

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
Thư viện Quốc gia Việt Nam M13679
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-202293.html