loading

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