Liên hệ
Tiếng Việt
Tiếng Anh
Thứ sáu, 20/09/2024
Paul Lorenzen -- Mathematician and Logician
Cập nhật vào: Thứ sáu - 14/07/2023 11:22
Nhan đề chính: Paul Lorenzen -- Mathematician and Logician
Nhan đề dịch: Paul Lorenzen - Nhà toán học và nhà logic học
Tác giả: Gerhard Heinzmann, Gereon Wolters
Nhà xuất bản: Springer Cham
Năm xuất bản: 2021
Số trang: XII, 268 tr.
Ngôn ngữ: Tiếng Anh
ISBN: 978-3-030-65824-3
SpringerLink
Lời giới thiệu: Cuốn sách truy cập mở này nghiên cứu nhiều đóng góp của Paul Lorenzen, một nhà triết học xuất sắc từ nửa cuối thế kỷ 20. Nó có các bài báo tập trung vào việc tích hợp cách tiếp cận ban đầu của Lorenzen vào lịch sử logic và toán học. Các bài báo cũng khám phá cách các học viên có thể triển khai các ý tưởng có hệ thống của Lorenzen trong các cuộc tranh luận ngày nay về ngữ nghĩa lý thuyết chứng minh, quản lý ngân hàng dữ liệu và ngẫu nhiên học.
Báo cáo nêu chi tiết những đóng góp quan trọng của Lorenzen đối với toán học xây dựng, công trình của Lorenzen về nhóm mạng và lý thuyết chia hết, lý thuyết tập hợp hiện đại và phê bình của Lorenzen về tính vô hạn thực tế. Ngoài ra, tài liệu còn đưa ra một bài kiểm tra mang tính xây dựng đối với Lý thuyết loại câu đố tuần hoàn trong phép biện minh hoạt động của logic và toán học.
Tên tuổi của Paul Lorenzen gắn liền với Trường phái kiến tạo phương pháp Erlangen, trong đó phương pháp tiếp cận triết học ngôn ngữ và triết học khoa học đã xác định các cuộc thảo luận triết học đặc biệt là ở Đức trong những năm 1960 và 1970. Tập này bao gồm 10 bài báo từ một cuộc họp diễn ra tại Đại học Konstanz.
Từ khóa: Triết học; Toán học; Lịch sử; Logic; Paul Lorenzen.
Nội dung cuốn sách gồm những phần sau:
- Paul Lorenzens Weg von der Mathematik zur Triết học - Persönliche Erinnerungen
- Phép toán và thuyết dự đoán: Phương pháp tiếp cận số học của Lorenzen
- Các khái niệm về vô cực và đặt trong hệ thống Nhà hát Opera của Lorenzen
- Lorenzen và toán học xây dựng
- Lorenzen giữa Gentzen và Schütte
- Cú pháp cho ngữ nghĩa: Định lý lý tưởng tối đa của Krull
- Mối quan hệ nhập cảnh thường xuyên
- Kết nối máy tính tuần tự với trò chơi đối thoại kiểu Lorenzen
- Lorenzen định hình lại satz cơ bản của Krull cho các miền tích hợp (1938–1953)
- Thư từ của Lorenzen với Hasse, Krull và Aubert, cùng với một số tài liệu liên quan
