与平凡为友分享 http://blog.sciencenet.cn/u/yanghualei 我知我无知

博文

可证明的条件

已有 2361 次阅读 2011-3-7 17:51 |个人分类:数学沙滩|系统分类:教学心得| office, style, 空间

    对于一个可判定的由概念构成的命题P来说,只要存在一个与不熟悉概念等价的概念序列{Ak},并且此序列收敛到你熟悉的概念空间中,那么命题P对你来说就是可证明的,概念是证明的基础,如果一命题对于你来说不可证明,那就源于你对命题里概念不熟悉。

    如果一个集合A中的任一元素a都属于集合B,则集合A与B的关系就是A包含于B,一般可以直接写出A包含于B,但事实上A与B之间的这种包含关系是有第三方a决定的;同样如果给定y=f(x),则可以把其改为参数形式即x=x(t),t=y(t),同样x与y之间的关系也是有x决定;对于a大于b,同时b大于c,则一定有a大于c,同样在叙述a与c之间的大于关系是,省略去中间变量b,事实上a与c之间关系有第三方b确定;在联系两个国家货币间关系同样是第三方商品,即关系有第三方决定

    现代化学和物理不断的在构造新的材料,这些材料如果没今天的科技很多本身是不存在;现代生物医学不断的在构造生命,这些生命靠自然演化根本就不会出现;社会也不不断的构造,比如对社会系统中关系链的构造,这些关系在过去也根本是不存在的;构造最严重的是数学了,概念严重脱离了现实直觉和物理背景,把命题都建立在脱水的概念基础上,不断的公理化,抽象化以及模型化;故现代的社会的是构造性的。

    一个可以交流的群体内,每一体都从特定某个角域(αi,βi)i=1,2...n,观察这个世界,那么最终这个群体中将以角域∪(αi,βi)看这个世界,在这个角域所看到的风景是单个不存在交流的个体无法达到的,故风景是共享型的。



https://blog.sciencenet.cn/blog-456786-419767.html

上一篇:指标是一个泛函
下一篇:从马猪狗问题看系统概率守恒
收藏 IP: 115.155.118.*| 热度|

4 孙学军 鲍得海 唐常杰 杨学祥

发表评论 评论 (0 个评论)

数据加载中...
扫一扫,分享此博文

全部作者的其他最新博文

Archiver|手机版|科学网 ( 京ICP备07017567号-12 )

GMT+8, 2024-10-19 22:44

Powered by ScienceNet.cn

Copyright © 2007- 中国科学报社

返回顶部