被吞了后不知道咋分类的提问串无名氏No.52656249 只看PO
2022-10-13(四)04:15:40 ID:UOsgezk 回应
已知，对集合A有给定的映射f使得集合B是A的值域，任取A的一个真子集使其在f映射下的值域仍是B的真子集的条件为，f：A→B为一一映射，那么
设可被直接感知或间接感知的全部物理对象在某一时刻t0有集合记作U（t0），在t0时刻后一段时间tx有集合记作U（t0+tx），那么对于U（t0）和U（t0+tx）间是否总能找到一个映射f使得U（t0+tx）为U（t0）的值域，如果是，这个映射是否总是一一映射？
瞎琢磨了一年半的东西最后推导到这个问题（如果这个能叫问题的话（x））然后我就抓瞎了，上面的一大串是我试图公理化的结果，用大白话讲就是宇宙这玩意在时间上是连续的吗？如果是，那么严格单调吗（
无标题无名氏No.52679958
2022-10-13(四)23:48:35 ID: UOsgezk (PO主)
>>No.52666853
( ﾟ∀。)有没有可能，讨论的不是实在性而是可计算性
适用问题原型的一个范例是，是否存在一个物理系统A中的计算机，使得计算机对物理系统A整体的模拟速度快于物理系统自身演化速度
上面一大串里面我早就声明了物理对象的实在，怎么可能再讨论实在性，所以最后归结到了这个命题是否成立卡住了而已，这个命题甚至不依赖原问题，是单纯的条件讨论
无标题无名氏No.52680035
2022-10-13(四)23:50:58 ID: UOsgezk (PO主)
>>No.52667221
得到这个函数f的前提不应该是讨论是否存在吗(´ﾟДﾟ`)
无标题无名氏No.52748570
2022-10-16(日)21:09:16 ID: QVtDlGV
>>No.52665559
怎么定义一个对象也是问题，如果对象内部能发生变化的话还能称为同一个对象吗？如果可以，那我们不妨把整个世界当做对象。另外，如果有两个对象都是可以测量的，但是你只能测量一个（比如粒子的位置和动量），这能算两个对象吗？
无标题无名氏No.52777575
2022-10-18(二)00:56:32 ID: UOsgezk (PO主)
>>No.52748570
我认同这个对象很难选取的问题，但我不认为是这种难选取
因为定义的集合U是'某一时刻'的对象集合，所以在这一时刻内对象本身是确定的（尽管我们也许根本不知道这个确定了的东西是什么）
无标题无名氏No.52777751
2022-10-18(二)01:07:58 ID: UOsgezk (PO主)
>>No.52748570
如何定义对象确实是一个问题，但我认为不像你的例子所举的那样，任取对象的范围将影响结果，因为讨论的是f是否存在，设若f总存在，那么任取Un（t0）的一个真子集记作un（t0），那么f：un（t0）→un（t+t0）应当总是等价于un（t0）内部对象每一个元素在f下到un（t+t0）的映射的集合
换句话说，由两个（以上）粒子构成的物理系统在两时刻间的状态变化应当等同于物理系统中每个粒子在两时刻间状态变化的集合，所以我认为对象的范围并不影响讨论
无标题无名氏No.52777904
2022-10-18(二)01:19:00 ID: UOsgezk (PO主)
>>No.52748570
我认为影响讨论的是确定对象的物理意义（因为我先入为主的希望证明f总存在）假如以粒子的物理状态（空间位置相对坐标，动量，角动量，自旋……）作为衡量对象状态的标准，那么势必会撞上场这个大坑，毕竟假如承认粒子是场的激发，那么在粒子系统里f永远不可能存在，而如果不以粒子作为骨架，那就根本没法描述微观物理行为。。。
无标题无名氏No.52896889
2022-10-23(日)11:09:25 ID: QVtDlGV
>>No.52777751
总之你得承认{整个世界}->{整个世界}这个双射，或者找出一些理由来否认它