metamathematics nghĩa là gì

• (logic học) mêta toán học

Từ điển kỹ thuật

Lĩnh vực: toán & tin

• meat toán học

• meta toán học

Câu ví dụ

thêm câu ví dụ:   Tiếp＞

He is also known as one of the founders of proof theory, mathematical logic and the distinction between mathematics and metamathematics.
Ông là một trong những sáng lập viên của lý thuyết chứng minh, logic toán học và sự phân biệt giữa toán học và meta-toán học.

He is also known as one of the founders of proof theory, mathematical logic and the distinction between mathematics and metamathematics.
Ông là một trong những sáng lập viên của lý thuyết chứng minh logic toán học và sự phân biệt giữa toán học và meta toán học.

In 1920 he proposed explicitly a research project (in metamathematics, as it was then termed) that became known as Hilbert's program.
Vào năm 1920 ông đề nghị một dự án nghiên cứu rõ ràng (về metamathematics, như là nó được gọi) mà sau đó được biết đến như là chương trình Hilbert.

In 1920 he proposed explicitly a research project (in metamathematics, as it was then termed) that became known as Hilbert's program.
Vào năm 1920 ông đề nghị một dự án nghiên cứu rõ ràng (về metamathematics, như là nó được gọi) mà sau đó được biết đến như là chương trình Hilbert.

In 1920 he proposed explicitly a research project (in metamathematics , as it was then termed) that became known as Hilbert's program.
Vào năm 1920 ông đề nghị một dự án nghiên cứu rõ ràng (về metamathematics, như là nó được gọi) mà sau đó được biết đến như là chương trình Hilbert.