Kết quả tìm kiếm

…, một '''lượng từ''' có nhiệm vụ tương tự, tác động lên một phát biểu toán học. * Barwise, Jon; and Etchemendy, John, 2000. ''Language Proof and Logic''. CSLI (University of Chicago Press) and New York: Seven Bridges Press. Mộ …

…ong toán học cổ điển, ta có thể chứng minh sự tồn tại của một vật thể toán học bằng phép phản chứng. Chứng mình bằng phản chứng không có ''tính kiến thiết …(định hướng)|Andrei Markov]], giải tích kiến thiết bởi Errett Bishop. Toán học kiến thiết cũng bao gồm cả [[lý thuyết tập hợp]] kiến thiết (như là CZF) và …

Trong [[toán học]], [[quan hệ hai ngôi]] ''R'' trên [[tập hợp (toán học)|tập]] ''X'' có tính '''phản xạ''' nếu nó quan hệ mỗi phần tử của ''X'' tới …math><ref name="Britannica">Quyển [https://www.britannica.com/topic/formal-logic/Logical-manipulations-in-LPC#ref534730 Encyclopedia Britannica] gọi tính ch …

…i khái niệm được hình thành cách đây rất lâu. Về nguồn gốc của âm dương và triết lý âm dương, rất nhiều người theo Khổng An Quốc và Lưu Hâm ([[nhà Hán]]) mà …i khái niệm âm dương. Đó chính là điều khác biệt triết lý âm dương với các triết lý khác. …

…|suy luận]]'', trái ngược với khái niệm của một [[Định luật|định luật khoa học]] là ''[[Thí nghiệm|thực nghiệm]]''.<ref name=":0">{{Chú thích|title=Ration …o ý nghĩa được gán cho các quy tắc dẫn xuất và ký hiệu điều kiện (ví dụ, [[logic không cổ điển]]). …

…nào, hoặc một cái gì đó lớn hơn bất kỳ [[số tự nhiên]] nào. Các nhà triết học đã suy đoán về bản chất của vô hạn, ví dụ [[Zeno xứ Elea]], người đã đề xu …ợc sử dụng ở mọi nơi trong toán học, ngay cả trong các lĩnh vực như [[Toán học tổ hợp|tổ hợp]] và [[lý thuyết số]] dường như không liên quan gì đến nó. Ví …

…cơ sở của mọi ngành toán học, '''mệnh đề''', hay gọi đầy đủ là '''mệnh đề logic''' là một khái niệm nguyên thủy, không định nghĩa. ::* Sáng nay bạn An đi học. …

…ythagorean proof (1).svg|300px|right|thumb|Một ví dụ về "vẻ đẹp trong toán học" - một chứng minh đơn giản và thanh lịch về [[Định lý Pythagore]].]] …ất, một số khía cạnh của toán học) là ''đẹp''. Các nhà toán học mô tả toán học dưới dạng một hình thức nghệ thuật hoặc, ở mức tối thiểu, là một hoạt động …

…minh trực tiếp]]. Nhà triết học [[Torkel Franzén]], trong một cuốn sách về logic, đã nói, "Chứng minh của Euclid rằng có vô số số nguyên tố không phải là mộ …

…llipse in coordinate system with semi-axes labelled.svg|thumb|300px|[[Hình học giải tích]] gán mỗi điểm trong [[mặt phẳng Euclid]] một cặp được sắp. Đường Trong [[toán học]], '''cặp được sắp''' (hay '''cặp có sắp''') (''a'', ''b'') là cặp của hai …

…g chuẩn mực đã được chấp nhận trong lĩnh vực đó) rằng một [[phát biểu toán học]] là đúng đắn<ref name="nutsandbolts">Cupillari, Antonella. The Nuts and Bo Phát biểu đã được chứng minh thường được gọi là [[định lý toán học|định lý]]<ref name="nutsandbolts"/>. Một khi phát biểu đã được chứng minh, …

…liệu [[lý thuyết số]] có [[Định lý nhất quán|nhất quán]] và [[Tính đầy đủ (logic)|hoàn chỉnh]] hay không. …của ông, ''[[Arithmetices Princia, nova methodo exposita|Các nguyên tắc số học được trình bày bởi một phương pháp mới]]'' ({{Lang-la|Arithmetices principi …

{{Thanh bên chủ đề Toán học}}{{Ngôn ngữ học}} …[[ngôn ngữ học tâm lý]] (psycholinguistics), [[nhân chủng học]] và [[khoa học thần kinh]], cùng với những chuyên ngành khác. …

…] được cho là do triết gia [[Hy Lạp]] [[Zeno xứ Elea]] đặt ra nhằm củng cố học thuyết "[[vạn vật quy nhất]]" của [[Parmenides]], phủ định tính hiển nhiên …[[Platon]], Zeno đã rút từ phần này để tạo ra những nghịch lý, bởi vì các triết gia khác cũng đã xây dựng những nghịch lý để chống lại quan điểm của Parmen …

…hấy. Phương pháp này được nhà [[Triết học|triết học]] và [[Logic|nhà logic học]] người Mỹ [[Charles Sanders Peirce]] nghĩ ra và phát triển vào cuối thế kỷ Suy luận giả định khác với [[Suy diễn logic|suy luận suy diễn]] vì nó đưa ra kết luận có thể xảy ra, nhưng không đảm bả …

|fields = [[Vật lý học]] …ork_institution = [[Đại học Breslau]]<br /> [[Đại học Zürich]]<br /> [[Đại học Humboldt Berlin]]<br /> …

…chủ đề Toán học}}[[Tập tin:Euclid.jpg|nhỏ|phải|250px|[[Euclid]], nhà toán học Hy Lạp, thế kỷ thứ 3 trước [[Tây lịch]], theo hình dung của họa sĩ [[Raphae …mà chưa ai đồng ý được với nhau chuyện toán học có phải là một ngành khoa học tự nhiên, một nhánh của các ngành nhân văn, hay một dạng nghệ thuật).}}</re …

…hĩa]], loại bỏ nhiều hoặc tất cả các thuộc tính của một số theo nghĩa toán học. Tập hợp các số tự nhiên thường được kí hiệu bằng kí hiệu <math>\mathbb{N}< …ics."}} Những chuỗi mở rộng này làm cho các số tự nhiên [[Phép nhúng (toán học)|được nhúng]] (nhận dạng) về mặt quy tắc trong các hệ thống số khác.<ref>Nu …

…ng để đạt được mục tiêu và có thể cải thiện hiệu suất của mình thông qua [[học máy]] hoặc thu nhận tri thức. Một tác nhân thông minh có thể đơn giản hoặc …ó định hướng mục tiêu cũng được mô tả bằng một thuật ngữ mượn từ [[kinh tế học]], là "[[tác nhân hợp lý]]" (rational agent).{{sfn|Russell|Norvig|2003|loc= …

Trong [[toán học]], '''tiên đề chọn''' ({{lang-en|axiom of choice}}) hay '''AC''', là một [[ …ốn gây ra nhiều tranh cãi, tiên đề chọn hiện nay được hầu hết các nhà toán học sử dụng,<ref>Jech, 1977, p.&nbsp;348''ff''; Martin-Löf 2008, p.&nbsp;210.… …