直觀論意思

直觀論（Intuitionism）是一種哲學觀點，特別是在數學哲學中，它拒絕接受某些傳統的數學命題，如無限集合的存在性或排中律（即對於任何命題，要麼它是真的，要麼它是假的）。直觀論者認為，只有那些可以用直觀的方式構造出來的數學對象才是有效的，而那些不能夠被直觀地構造出來的，如無限集，則被認為是無效的。

直觀論的觀點可以追溯到19世紀後期，當時一些數學家對當時的數學基礎感到不安，特別是對康托爾的無限集合論及其相關的悖論感到不安。在20世紀初，直觀論作為一種數學哲學被正式提出，其中最著名的代表人物是荷蘭數學家L. E. J. Brouwer。

直觀論者對數學真理的看法是實踐性的，他們認為數學家的工作不是發現現成的真理，而是創造新的真理。他們強調數學家的工作是一種創造性的活動，而不是一種發現的活動。因此，直觀論者對數學真理的看法與傳統的觀點有很大的不同。