美文网首页
形式主义、柏拉图主义与直觉主义

形式主义、柏拉图主义与直觉主义

作者: milkpku | 来源:发表于2015-11-26 23:54 被阅读0次

《皇帝新脑》读书笔记

  • Date: November 26th, 2015
  • Author: milkpku
  • Reference: The Emperor's New Mind, Roger Penrose

柏拉图主义

认为数学思想的对象是实际的存在,数学真理的绝对性和存在性不依赖于物质世界。

形式主义

与希尔伯特规划有关,他猜想:对于任何定义好的数学领域,去找一个足够广泛的公理和步骤法则的表,使得所有适合于该领域的正确的数学推理的形式都可以编入。那么它就能为我们提供对算术中任何命题数学证明的“正确性”的确定判据,即通过机械证明验证一个命题的证明的正确或者错误。

当然,这一努力已经被哥德尔不完全定理证明不可能。

直觉主义

直觉主义也称为有限主义,认为数学对象是思维构造的产物,所以一个对象的存在性等价于它的可构造性。一个对象不能因为否定了它的不存在而存在。

Reference

柏拉图主义
形式主义
直觉主义

相关文章

  • 形式主义、柏拉图主义与直觉主义

    《皇帝新脑》读书笔记 Date: November 26th, 2015 Author: milkpku Refe...

  • 用形式主义反形式主义

    用形式主义反对形式主义是不是形式主义?我不认为这是一种形式主义,首先反对形式主义很难,必须走个形式,而反对之要点就...

  • 瑞10条

    【官僚主义】痛恨官僚主义,枪毙一切形式主义。官僚主义往往与形式主义为伴,打破等级、门户、辈分之见。没有manage...

  • 大法官与法学家的“法律现实主义”

    法律形式主义与法律现实主义是两条不同的法律分析与适用的路径,在笔者粗浅的理解中,法律形式主义更注重规范的客观性、中...

  • 20-直觉主义

    直觉主义是对西方现代派文学发生极大影响的哲学思潮,其代表人物是法国哲学家柏格森。 直觉主义强调非理性、直觉和无意识...

  • 张旭:尼采与西方虚无主义的命运

    尼采与西方虚无主义的命运 张旭 吴增定的著作名为“尼采与柏拉图主义”(吴增定,《尼采与柏拉图主义》,上海人民出版社...

  • 俄国形式主义是不是纯粹的“为艺术而艺术”?

    形式主义(Formalism)指文学、艺术或戏剧中专门强调形式与技巧,而不强调题材的表现手法。 俄国形式主义在瑞士...

  • 那些不得不做的“形式主义”

    对于“形式主义”,我可以旗帜鲜明地表达我的态度:我不喜欢“形式主义”,因为“形式主义”真的害人。 用个成语来形容叫...

  • 什么是形式主义?

    最近掀起一波集中整治形式主义与官僚主义大潮。 互联网上铺天盖地的各种材料、心得卖的挺贵。 这难道不是形式主义的集中...

  • 形式的意义

    形式主义害死人,但是为什么还要有形式呢。因为形式大于内容。 形式主义不对,但是很多时候还是以形式反对形式主义。 形...

网友评论

      本文标题:形式主义、柏拉图主义与直觉主义

      本文链接:https://www.haomeiwen.com/subject/yfedhttx.html