intuitionistic nghĩa là gì

• • (thuộc) chủ nghĩa trực giác

• But this world view too fails to be truly intuitionistic and seems to sneak in some platonic ideas.
  Nhưng cách nhìn này cũng không phải thuần Trực giác và có vẻ dùng một vài ý tưởng platon.
• These aspect may therefore lie forever beyond the explicatory power of intuitionistic mathematics.
  Những mặt này do đó nằm ngoài khả năng giải thích của toán học theo chủ nghĩa Trực giác.
• Born in a Russian family in Tambov, he worked early in his career on intuitionistic logic, and Fourier series.
  Sinh ra trong một gia đình người Nga ở Tambov, Nga, ban đầu của sự nghiệp ông làm về logic, và chuỗi Fourier.
• However, modal logic can be used to encode non-classical logics, such as intuitionistic logic.
  Mặt khác, modal logic có thể được sử dụng để mã hóa các logic không cổ điển, ví dụ như logic trực giác.
• On the other hand, modal logic can be used to encode non-classical logics, such as intuitionistic logic.
  Mặt khác, modal logic có thể được sử dụng để mã hóa các logic không cổ điển, ví dụ như logic trực giác.
• 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.
• Stronger classical logics such as second-order logic or infinitary logic are also studied, along with nonclassical logics such as intuitionistic logic.
  Các logic cổ điển mạnh hơn như logic bậc hai hoặc logic vô định cũng được nghiên cứu, cùng với các logic phi phân loại như logic trực giác.
• Stronger classical logics such as second-order logic or infinitary logic are also studied, along with nonclassical logics such as intuitionistic logic.
  Các logic cổ điển mạnh hơn như logic bậc hai hoặc logic vô định cũng được nghiên cứu, cùng với các logic phi phân loại như logic trực giác .
• Intuitionistic logic specifically does not include the law of the excluded middle , which states that each sentence is either true or its negation is true.
  Logic trực giác đặc biệt không bao gồm luật trung gian bị loại trừ, trong đó tuyên bố rằng mỗi câu là đúng hoặc phủ định của nó là đúng.