intuitionism câu

• Intuitionism fails to provide a way of resolving all ethical disagreements.
  Thiếu đạo đức thì không thể biết cách giải quyết các vấn đề thiếu đạo đức.
• But more fundamentally, intuitionism has no answer to the question of why non-intuitionistic mathematics is applicable.
  Nhưng cơ bản hơn, chủ nghĩa Trực giác không trả lời được tại sao toán học phi-Trực giác lại dùng được.
• In intuitionism, the term "explicit construction" is not cleanly defined, and that has led to criticisms.
  Trong trực giác, thuật ngữ "xây dựng rõ ràng" không được xác định rõ ràng, và điều đó đã dẫn đến những lời chỉ trích.
• In Intuitionism, the term "explicit construction" is not cleanly defined, and that has lead to criticisms.
  Trong trực giác, thuật ngữ "xây dựng rõ ràng" không được xác định rõ ràng, và điều đó đã dẫn đến những lời chỉ trích.
• In Intuitionism, the term "explicit construction" is not cleanly defined, and that has led to criticisms.
  Trong trực giác, thuật ngữ "xây dựng rõ ràng" không được xác định rõ ràng, và điều đó đã dẫn đến những lời chỉ trích.
• Intuitionistic logic was developed by Heyting to study Brouwer's program of intuitionism, in which Brouwer himself avoided formalization.
  Logic trực giác được Heyting phát triển để nghiên cứu chương trình trực giác của Brouwer, trong đó bản thân Brouwer tránh chính thức hóa.
• Intuitionistic logic was developed by Heyting to study Brouwer’s program of intuitionism, in which Brouwer himself avoided formalization.
  Logic trực giác được Heyting phát triển để nghiên cứu chương trình trực giác của Brouwer, trong đó bản thân Brouwer tránh chính thức hóa.
• Constructivism – Dialetheism – Fictionalism – Finitism – Formalism – Intuitionism – Logical atomism – Logicism – Nominalism – Platonic realism – Pragmatism – Realism
  Dialetheism • Fictionalism • Finitism • Formalism • Intuitionism • Logical atomism • Logicism • Chủ nghĩa duy danh • Platonic realism • Chủ nghĩa thực dụng
• Constructivism – Dialetheism – Fictionalism – Finitism – Formalism – Intuitionism – Logical atomism – Logicism – Nominalism – Platonic realism – Pragmatism – Realism
  Dialetheism • Fictionalism • Finitism • Formalism • Intuitionism • Logical atomism • Logicism • Chủ nghĩa duy danh • Platonic realism • Chủ nghĩa thực dụng
• It appears that intuitionism offers a neat answer to the question of the applicability of mathematics: it is applicable because it is derived from the world.
  Có vẻ là chủ nghĩa trực giác cho một câu trả lời gọn gàng về câu hỏi của tính khả dụng của toán học: nó dùng được vì nó được suy ra từ thực tế.
• A major force behind intuitionism was L. Brouwer , who rejected the usefulness of formalized logic of any sort for mathematics.
  Một lực lượng chính đằng sau chủ nghĩa trực giác là LEJ Brouwer, người đã bác bỏ tính hữu dụng của logic chính thức của bất kỳ loại nào đối với toán học.
• A major force behind intuitionism was L. E. J. Brouwer, who rejected the usefulness of formalized logic of any sort for mathematics.
  Một lực lượng chính đằng sau chủ nghĩa trực giác là LEJ Brouwer, người đã bác bỏ tính hữu dụng của logic chính thức của bất kỳ loại nào đối với toán học.
• A major force behind Intuitionism was L.E.J. Brouwer, who rejected the usefulness of formalized logic of any sort for mathematics.
  Một lực lượng chính đằng sau chủ nghĩa trực giác là LEJ Brouwer, người đã bác bỏ tính hữu dụng của logic chính thức của bất kỳ loại nào đối với toán học.
• A major force behind intuitionism was L.E.J. Brouwer, who rejected the usefulness of formalized logic of any sort for mathematics.
  Một lực lượng chính đằng sau chủ nghĩa trực giác là LEJ Brouwer, người đã bác bỏ tính hữu dụng của logic chính thức của bất kỳ loại nào đối với toán học.
• Intuitionistic logic was proposed by L. E. J. Brouwer as the correct logic for reasoning about mathematics, based upon his rejection of the law of the excluded middle as part of his intuitionism.
  Logic trực giác được đề nghị bởi L.E.J. Brouwer như là logic đúng đắn cho việc lý luận về toán học, dựa trên sự từ bỏ của ông về luật loại trừ giá trị giữa như là một phần của chủ nghĩa trực giác của ông.
• Question 8: ________ was proposed by L.E.J. Brouwer as the correct logic for reasoning about mathematics, based upon his rejection of the law of the excluded middle as part of his intuitionism.
  Logic trực giác được đề nghị bởi L.E.J. Brouwer như là logic đúng đắn cho việc lý luận về toán học, dựa trên sự từ bỏ của ông về luật loại trừ giá trị giữa như là một phần của chủ nghĩa trực giác của ông.
• Intuitionistic logic was proposed by L.E.J. Brouwer as the correct logic for reasoning about mathematics, based upon his rejection of the law of the excluded middle as part of his intuitionism.
  Logic trực giác được đề nghị bởi L.E.J. Brouwer như là logic đúng đắn cho việc lý luận về toán học, dựa trên sự từ bỏ của ông về luật loại trừ giá trị giữa như là một phần của chủ nghĩa trực giác của ông.
• Like intuitionism, constructivism involves the regulative principle that only mathematical entities which can be explicitly constructed in a certain sense should be admitted to mathematical discourse.
  Giống như chủ nghĩa trực giác, chủ nghĩa kiến tạo liên quan đến nguyên tắc điều chỉnh chỉ những thực thể toán học có thể được xây dựng rõ ràng theo một nghĩa nào đó mới được chấp nhận vào diễn ngôn toán học.