
Méthode axiomatique et formalisme/ Jean Cavaillès. Pt.2, Axiomatique et système formel
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.76-131; 25cm
Tùng thư :
Le progrès de l'esprit ; T.10
Actualités scientifiques et industrielles. No.609
Chủ đề : 1. Hình học. 2. Phương pháp. 3. Toán giải tích. 4. Toán học.
Thông tin chi tiết
Tóm tắt : | Phương pháp tiên đề học trong hình học do Gilbert đề ra năm 1899, có những lập luận như: sự không mâu thuẫn, sự độc lập, sự bão hoà và tính phạm trù. Các khái niệm hệ thống hình thức, chủ nghĩa hình thức của Hilbert và giải tích (có các mục nhỏ như khu vực siêu toán học; tính toán các mệnh đề, các vị ngữ; giải tích cổ điển, các hàm truy hồi...) |
Thông tin dữ liệu nguồn
Thư viện | Ký hiệu xếp giá | Dữ liệu nguồn |
---|---|---|
![]() |
M13678 |
https://opac.nlv.gov.vn/pages/opac/wpid-detailbib-id-202292.html |