metamathematical nghĩa là gì

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

Từ điển kỹ thuật

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

• meta toán

Câu ví dụ

Translating SAT into plain language, though, reveals its metamathematical thorniness: Essentially, it asks if a generic problem (as modeled by a logical formula) is solvable at all.
Tuy nhiên, việc dịch SAT sang ngôn ngữ đơn giản cho thấy sự gai góc về mặt siêu hình của nó: Về cơ bản, nó hỏi liệu một vấn đề chung (như được mô hình hóa bởi một công thức logic) có thể giải quyết được không.

Hilbert was initially a deductivist, but, as may be clear from above, he considered certain metamathematical methods to yield intrinsically meaningful results and was a realist with respect to the finitary arithmetic.
Hilbert ban đầu là một người khấu trừ, nhưng, có thể rõ ràng từ trên, ông đã xem xét các phương pháp siêu hình nhất định để mang lại kết quả có ý nghĩa nội tại và là một người thực tế đối với số học tài chính.