b)古人不见今时月,今月曾经照古人。
c)2003-Digitaltwin/数字孪生的前世今生。
1)2012-影像组学(Radiomics)
2)2013-蓝脑计划(BlueBrainProject)
3)1985-基因组计划(HumanGenomeProject,HGP)
4)1994-蛋白质组学计划(proteomics)
d)东方哲学的思维范式真的缺少精确量化概念吗?
a)理想线性CT模型
b)笔形束
1)锥形束
2)线束展平与插值算法
c)单能量
1)物理值定义
2)monoHU
d)散射
1)滤线栅形状与病人位置的影响
2)混合能量射线与能量积分探测器
3)离散采样的影响
4)其他考虑
5)现实CT系统的空间分辨率特性
e)FBP
1)硬件的平衡
2)算法的取舍
f)不可消除的噪声与无法定义的不确定性
1)电子噪声与量子噪声
2)信息学不确定性
g)贝叶斯派和频率派
a)他们在创造大脑
1)Alphago/人类规则,神之一手
2)Alphafold/自然规则,预测中心法则
3)ChatGPT/超级对齐
1.等价转译
2.通天塔的隐喻
b)哲学之问-计算为什么能取得如此成功?
1)休谟-怀疑主义
2)康德-因果关系是否具有普遍性和客观性?
3)牛顿,爱因斯坦,冯诺依曼-数理逻辑的里程碑!
4)东方文化哲学-道可道,非常道。
c)可计算的宇宙
1)什么是计算?
2)哥德尔不完备定理
3)奥卡姆剃刀
4)可计算性与医学影像的未来
5)神女应无恙,当惊天下殊
在东方的语境中,道,是一个极其简洁又深刻的概念。道是什么?难以回答,但是我们的文化对志于道而困囿于时代的失败者有着极高的评价。如天子庶民统一法度[iii]的商鞅;志于中兴强国的王安石;工与谋国,拙于谋身的大明首辅张居正;甚至是支持戊戌变法的光绪皇帝。他们的功绩,跨越千年,即使到今日,依旧获得了时代的共鸣。
明月在以光年为计量单位的天文学上作为一颗卫星,可以轻易穿越数千年的岁月,被不同时空中的观察者感叹。那么那些至今激荡的思想是如何跨越千年的?
文字的力量是充满韧性和惊人的,她不仅可以将千百年前的风骨带到现代;亦可以把烽火连三月,家书抵万金的庶民悲欢感同身受。
在我们的行业,我们的文字便是黑白像素构成的宇宙。DICOM是DigitalImagingandCommunicationsinMedicine的英文缩写,即医学数字成像和通信标准。是ACR(AmericanCollegeofRadiology,美国放射学会)和NEMA(NationalElectricalManufactorersAssociation,国家电子制造商协会)为主制定的用于数字化医学影像传送、显示与存储的标准。
尽管,医学图像不会说话,但是无疑,她见证了目前为止人类最多的悲欢离合和诚挚祈祷。跨越无尽的像素和灰阶,她是否有想告诉人类的信息?
文字是人类思想的映射,医学影像则是人体扫描仪获得的对人体的数字映射,在2023年末的全球科学巨大进展中,以数据驱动的深度学习大模型高歌猛进,使得绝大多数医学影像行业从业者相信。这样的成功将会出现在医疗行业。实际上,对于这种物理和数字空间的映射关系的研究起源于工业界的产品生命周期管理(ProductLifecycleManagement(PLM))。
TheconceptoftheDigitalTwin[iv]datesbacktoaUniversityofMichiganpresentationtoindustryin2002fortheformationofaProductLifecycleManagement(PLM)center.Thepresentationslide,asshowninFigwassimplycalled“ConceptualIdealforPLM.”However,itdidhavealltheelementsoftheDigitalTwin:realspace,virtualspace,thelinkfordataflowfromrealspacetovirtualspace,thelinkforinformationflowfromvirtualspacetorealspaceandvirtualsub-space。
由于这个概念太过重要,因此有必要完整引用这个概念的原文。构成完整数字孪生的条件有:真实的物理世界;虚拟的数字映射;物理世界映射到虚拟世界的数据流;以及最重要的虚拟世界反馈到真实世界的信息流。四个条件缺一不可。
人们习惯于期许文明能带来一个图景清晰的未来,但是正如发明了时钟和历法并不能保证预想的相见;发明了数值天气预报[v]并不能保证明媚的阳光。科学是允许证伪的,基于数值计算理念的科学方法能给医学影像领域带来什么样的未来呢?
放射组学的发展受益于医学影像技术的不断进步,包括高分辨率的CT扫描、PET扫描和MRI扫描等。同时,计算机科学和机器学习的发展也为放射组学的研究提供了强大的工具和方法。
总的来说,放射组学的发展历史可以看作是医学影像技术、计算机科学和生物医学研究的交叉融合,为临床医学提供了更多的信息和预测能力。其主要依靠的指标为:图像纹理。
图像纹理/ImageTexture,纹理是指图像中像素值(“亮度”)的局部空间变化。作为图像基础的二维数组中的值可以被描述为该数据的三维表面表示中的高程。因此,纹理可以解释为该表面的“粗糙度”。在许多情况下,粗糙度可以由人类观察者根据其感知到的视觉印象进行定性描述。例如,图像纹理可以被描述为“精细”、“粗糙”、“有颗粒”或“光滑”。具有“细”纹理的图像区域包含空间频率高的小纹理元素,而具有“粗”纹理的图像区域包含空间频率低的大纹理元素。在胸部CT扫描的放射学报告中可能发现的术语,如“磨玻璃不透明”、“蜂窝状”和“马赛克衰减模式”,传达了对扫描肺部区域内纹理的主观评估;通过放射科医生丰富的知识和经验,将这些纹理的定性评估与其他成像和非成像信息相结合,有助于医疗决策的过程。更客观、定量的方法来表征。
可视化DICOM图像中的高维纹理信息,并加以功能学分析。在2013年启动的欧洲蓝脑计划走向了巅峰。
这是几乎只有在科幻电影中看到的场景,人类试图打造一个可视化的接口界面。去观察这个果核中的宇宙。
但是探索的火种并未熄灭。
美国脑计划(BRAINInitiative):奥巴马政府于2013年4月2日宣布“脑计划”(BRAINInitiative,通过推进创新神经技术进行大脑研究),旨在支持创新技术的开发和应用(譬如大规模神经元电生理信号的记录),以促进对大脑功能的动态理解。
日本脑/思维计划(Brain/MINDS):脑/思维(疾病研究综合神经技术脑图绘制)于2014年6月启动,该项目研究集中在三个领域:对普通狨猴大脑的研究;开发脑图绘制技术;人类脑图谱。
这是医学影像领域的极致探索,即使创造了亚毫米级别的仿真网络,但是,这个结构本身并未给予期待的智慧反馈:即数字孪生定义中虚拟空闲向物理空间的反馈。蓝脑计划也许给出了一个提示,这个网络需要额外的信息。
2003年4月,历时13年的“国际人类基因组计划”正式完成。但仅仅测绘出基因组序列,并非这一计划的最终目的,必须对其编码产物———蛋白质组进行系统深入的研究,才能真正实现基因诊断和基因治疗。人类蛋白质组研究成为继人类基因组计划之后生物科技发展的重要课题。
从以上的几个项目来看,西方科学计划提出了几乎所有精确完整的概念,在医学影像领域,几乎100%的里程碑成就和规范都起源于西方科学。这一度让我建立了这样的概念:西方科学的成功就是最终的成功,一个学科成功的基础就是建立精确的概念。
因此,东方哲学中的“道”,我直难以有能说服的理由去接受这个概念。基于需要精确概念的前提,我对我行业内的一个问题作了一些思考。
IntheillustratedCTsystem,thex-raysaregeneratedfromaparallelarrayofpencilsourceswithinfinitelysmallfocalspotsizeandinfinitelyhigh-temporalcoherence(i.e.,monoenergetic).ThecylindricalimageobjecthasadiameterofDandisplacedattheisocenter.Thepost-objectx-rayfluenceisuniformduetotheuseofabeam-flatteningbowtiefilter.Scatteredx-raysthatdonottravelforwardlyarecompletelyrejected.Thedetectorhasauniformresponsealongtheρaxis.Exceptitsfinitequantumabsorptionefficiency,thedetectordoesnotintroduceanyothernoiseorsignal-blurringmechanism.TheCTsystemusesthelinearfilteredbackprojection(FBP)algorithmtoperformtomographicreconstruction.Imagequalitymodelspresentedinsection“IdealizedLinearCTSystems”usedtheseidealizedconditions.
达到以上的条件,那么恭喜你,我们就获得了“IdealizedLinearCTSystems”中理想准确的CT值了,与此同时,我们发现,FBP算法在这个场景下也可以成为“金标准”了。但是显然,这如宇宙中的绝对零度一样,现实中难以触及。
显而易见,无论采用哪种方式去均分探测器单元,在运动的过程中,对扫描物的采样是肯定不均匀的。
从x-y平面拓展到CT的整个扫描野,可以类比的是,Z轴上的采样也是一样的不绝对均匀的。实际上的采样视野是一个球形。而且,这个球形内部的每一个像素也并非是均匀采样。
上文提到的采样频率却失可以用以下示意图表示:可以明显看到,中心的像素被采样的频率远高于边缘的像素。
因此,出于算法数据均一性的要求,一般做法会对边缘像素的正弦曲线进行插值处理。那么,这样插值的做法是合理的吗?可以从两个角度来来说明:
一是对于FFT算法来说,改变正弦曲线的尺度和频率,并不会改变DFT之后的特征。
二是插值的行为,效果上是将CT几何的锥形束进行了展平,回到了理想线性CT系统(“IdealizedLinearCTSystems”)的设计要求。
Watersettoavalueof0HounsfieldUnits(HU)andairsetto1000HU.Generally,physiciansknowtheexpectedHUforagiventissueatagivenkVandcanthereforeuseanaverageHUmeasurementtounderstandtheextentofdisease.
1973年,豪斯费尔德用水和空气在CT图像上为人体刻下标度,半个世纪以来,人类都在依靠经验用数千个灰阶量化人体组织。但是CT值物理上的定义值其实是一个给定电压下的(通常为120kvp)平均数值。显而易见,在现代商业CT的kvp范围内(60kvp-150kvp)是影响CT值的一个重要因素,无论哪个kvp球管产生的X射线都会存在以下的光子能量(kev)特征:
我们无法保证穿透扫描物的光子能量都是单一的kev。这对CT值影响最重要的一个因素就是absorptioncoefficient(吸收系数/衰减系数),因为,对射线衰减路径上的重要理论假设就是以单能(单kev)X射线为基础的。
因此常规的CT值在kev能级层面是平均的数值。
为了获得物理上更为纯净的CT值,早在1976年,科学家就已经给出答案:只需要同一个物体的独立两组不同kvp下的数据集(A1,A2),便可以分解出S1和S2的单能量数据集monoenergetic
ThespectraS,andS,maybeformedinmanyways.Theycouldbemonoenergeticradiationproducedbytwodifferentisotopesources.[ix]
显然,Monoenergetic是物理学上更为纯净的CT值,monoenergetic能带来显而易见的优势:
一篇来自2012年的综述显示,Matsuda在单源瞬切能谱平台上利用椭圆形体模研究CT值的稳定性,发现65keV单能量图像的CT值稳定性最好,和体模的形状无关。
OnaphantomstudyusingarsDECTscanner,Matsudaetal.foundthatattenuationmeasurementsinHUonmono-energetic65keVimagesprovidedconsistentvaluesregardlessofphantomshape,whereasconventionalMDCTproducedastatisticallysignificantdifferenceinHUmeasuredinthecenterandperipheryofanellipticalphantom.[x]
而来自最新2023年的siemenshealthineers光子计数CT的成果,显示了纯净的CT值在鉴别人体内组织的代际优越性。
在物理上获得接近纯净的CT值并没有结束,CT值在硬件层面还会受到CT几何结构和探测器性能的影响。
蝴蝶型滤线栅和空间位置对二维CTNPS(噪声功率谱,参阅下文)的影响。在四个位置实验测量诊断MDCT系统的NPS:a区是位于扫描仪等心处直径39cm的圆柱体中心的5×5cm2区域。在同一物体中,B区比A区高13cm。区域C是垂直离心物体中的居中区域;区域D是横向离心物体中的居中区域。对于每个区域,分别使用两个不同的领结滤波器测量二维NPS:分别用于模拟成人和儿童的衰减。
令人惊讶(或不令人惊讶)的是,现代MDCT系统中常用的蝴蝶型滤线栅对CT噪声性能有相当大的影响。如上图所示,根据蝴蝶型滤线栅的大小、物体的位置以及在图像物体中的位置,二维NPS的地形可能会偏离众所周知的“s”对称,呈现出“p”对称,甚至是看起来像三叶草叶子的“d”对称。
上图为了进行噪声分析,引入了具有负衰减系数的虚拟物体,当蝴蝶型滤线栅的CT系统对患者进行成像时,可以认为该系统为无领结系统,即对虚拟“阴性”物体和患者的组合进行成像。由于虚拟物体具有负衰减系数,因此由于正衰减和负衰减的抵消,合成物体的中心区域为空。如图(b)所示,在复合物体的外围区域拦截的x射线可能具有强烈依赖于θ的放射路径长度。在这种特殊情况下,路径长度在θ=0和90°处达到最小值,并表现出“d”对称。(c)该区域的放射路径长度随θ的函数图。
与“理想线性CT系统”一节中使用的理想光子计数和单能CT系统不同,大多数现实CT系统使用能量积分探测器和混合能量x射线源。
在“理想线性CT系统”一节中对理想CT系统的讨论没有考虑离散采样的影响。在现实的CT系统中,采样操作存在于成像链的多个阶段,包括沿离散检测器元素引入的ρ采样,沿有限检测器读出率引入的θ采样,以及沿重构CT图像的离散表示引入的(x,y)采样。以(x,y)域的采样为例,由于获得的投影数据是离散的数据数组而不是连续的R(ρ,θ)函数,并且待重构的CT图像是离散的数据点网格而不是连续的函数f(x,y),因此反投影过程通常涉及数据插值过程。如果反投影是像素驱动的,则插值可以用滤波后的投影数据与插值核gint(ρ)的一维卷积来描述;如果反向投影是射线驱动的,则插值可以用f(x,y)与2D核函数gint(x,y)的二维卷积来描述。
位于诊断MDCT系统(GEDiscoveryCT750HD)等中心的圆柱形均匀物体的二维CTNPS。选择系统提供的高清边缘增强重建核(HDEdge)进行图像重建。(a)中的NPS使用重建像素尺寸(Δx×Δy)为0.2×0.2mm的图像进行测量。(b)中的NPS使用重构像素尺寸为0.4×0.4mm的图像进行测量,Δx越大,噪声混叠越强,导致(b)中的NPS不再是旋转不变量)。
在实验系统的等中心放置一个圆柱形和均匀物体的二维CTNPS。(a)θ(角度)等角加权重构图像的NPS。(b)ρ(路径)Parker加权重建图像的NPS。(FigurecourtesyofDr.JohnHayes)
理想CT系统的空间分辨率模型假设了一组笔形束源和无空间分辨率损失的理想CT系统。在现实系统中,由于焦斑尺寸有限,探测器孔径有限,闪烁体中x射线主光子和次光子的随机扩散,CT的系统空间分辨率会极大受限。详细说明请参阅上文空间分辨率。
GEDiscoveryCT750HD实时MDCT诊断系统中CTMTF的位置和方向依赖性(a)在等心处(0cm)和离等心处(16cm)测得的二维MTF沿径向和切向线形。(b,c)等心处和离等心16cm处二维MTF的比较。相对于离心MTF,等向MTF具有更强的各向同性,离心MTF在切片向上的分辨率损失比径向上的分辨率损失要大得多。(d,e)两个位置的骨折模型CT样例图像。
过快的转速导致数据采集不足,会让图像出现更多的artifacts(伪影),同时,探测器的性能如果过于落后,也出造成图像出现azimuthalblurring(模糊伪影)。如下图:
另外一个间接影响CT的因素就是reconstructionkernels,不同的reconstructionkernels对应不同的噪声水平,这是CT成像图像空间最大的挑战之一。
CTnoisevariancethatcorrespondstothiswindowfunctionisgivenbywhichisapproximately20%oftheCTnoisevariancegivenbytheRam-LakkernelinEq.(6.23).Therefore,comparedwiththeRam-Lakkernel,thelow-passcosinekernelcaneffectivelyreduceCTnoisemagnitude.Meanwhile,forbothreconstructionkernels,theCTnoisevarianceisinverselyproportionaltothecubeofΔρ(in-planedetectorpixelsize).InsummaryoftheoreticalanalysisonCTnoisevariance,itisrelatedtothefollowingCTsystemparameters:
卷积核/Reconstructionkernel
毫安秒/InverselyproportionaltomAs
层厚/InverselyproportionaltodetectorheightΔz
探测器像素尺寸/InverselyproportionaltocubeofdetectorwidthΔρ
探测器系数效率/Inverselyproportionaltodetectorabsorptionefficiencye
CT孔径/Proportionaltotheexponentialofpatientradiologicalpathlengthexp.(μD)(examplescanbefoundinreference)
CT在数学上的噪声存在于两个过程如上图。
其中forward投射过程中,伴随的电子噪声和量子噪声是无法消除的。
在考虑到CT的前沿技术的时候,我们应该首先把CT看作一种人类设计用于人体透视的观测系统。正与上文提到的无限复归链,CT系统从扫描到最终图像会经历一系列软硬件观测系统的转换。在最终看到的图像中,系统的不确定性并不会被消除,那么,我们看到的图像是真实的吗这个问题很难回答,因为行业内的从业人员绝大部分都存在一个基本的认知偏差,即当然的认为最早应用的一些技术概念是这个领域的“金标准”。例如,我们经常会听到所谓FBP就是CT成像的原始的,最纯净的,绝对真实的“金标准图像”。
实际上,这个说法是经不住推敲的,本书第一章内容,我们知道FBP算法是经过F(filter)滤波和BP(backprojection)插值平行反投影处理的,这两个步骤显然删除和增加了一些数值;另外,由于FBP是行业公开的算法,不同CT供应商采用FBP算法图像的时候,行业从业经验稍长的都会有这样的经历:即同一个病人由于各种原因(符合医学伦理原则),针对同一个病变,在不同的两个供应商CT上进行了扫描,结果是一个显示了病变,一个未显示(或显示不明)病变。
显然,目前CT领域事实上并不存在一个绝对的“金标准”。回到问题,是否存在理论上的100%还原人体的理想CT?实际上在本书第一章有所描述,需要在工程上实现理想线性CT模型/IdealizedLinearCTSystems并克服探测器噪声/NoisePropertiesofRawDetectorOutputs;同时在重建算法上消除投射集噪声/NoisePropertiesofPost-logProjectionData和图像阈噪声/NoisePropertiesofCTImages。这是一个理想目标,也就是说现实是无法实现的。就像冻结所有分子原子运动的绝对零度,我们知道,但是触碰不到。如果用通讯系统的角度来看待CT成像系统,那么单次扫描实现W-’/W的香农极限[xi]传递是不可能的。
工程学上,所有的扫描仪不过是对真实世界的粗糙建模,但是:“所有的模型都是错误的,但有些是有用的。Allmodelsarewrong,butsomeareusefull[xii]”。在此时此刻,莫名生出一种只缘身在此山中的感觉。任何知识信息都是有时效性的。
对于不确定性的度量统计学里至少有两种不同的考虑方式,这导致了两种不同类型的推理/决策方法,我们称之为频率论(frequentist)和贝叶斯方法(Bayesianmethods)。
这是两种认识世界的视角,我意识到西方科学的成功并非全部建立在精确的概念之上,或者说,世界的底层是建立在不可消除的不确定性之上的。
同样的两种方式,其实也体现在CT重建图像的算法之中:深度学习和传统方法自2018年前后。就有相当多的理论分级。如深度学习为全局频率派方法,迭代方法为局部贝叶斯派方法(已知的联影佳能采用了迭代数据集的都属于此)。
深度学习为无先验模型的数据驱动型方法;迭代为部分先验的模型驱动型方法(已知的联影、佳能采用了迭代数据集的都属于此)。
以上是基于实现方法对目前市售CT产品算法的一个分级,虽然市场概念上有所相似,但是其具体路径存在差异,核心点就在于是否能实现频率派方法(或称数据驱动型)与贝叶斯派方法(或称模型驱动型)的分离,可以看到传统的方法全部属于模型驱动的贝叶斯派方法,除去TrueFidelity之外,号称采用深度学习手段的方法无一例外都是采用了频率派与贝叶斯派混合的手段,其好坏目前难以评价。我们参考一下JonasAdler的观点:
目前主要的几种噪声范数形式:
几种重建类型,FBP;TV为传统模型驱动的混合方法;deeplearning方法
体模与FBP算法对比:
体模与TV混合模型驱动混合方法对比:
体模与深度学习方法对比:
体模与深度学习迭代方法混合方法对比:
小结:
Verylargequantitativeimprovement/巨大的图像质量提升
Noticeablevisualimprovement/肉眼可见的提升
Looksoversmoothed/过渡柔和
采用频率派和贝叶斯派混合方法的手段,需要极其注意模型的过度柔和问题。具体原因本文不作展开,可以参考JonasAdler关于inversionproblem的论文。
当世界正发生人工智能革命的时候,会有相当一部分声音:人工智能不直接参与生产,与之前的互联网泡沫本质是一样的。殊不知,一切斗争都是为了争取统一的斗争,一切问题,也是关于决策的问题。偶然,听到一句话,深刻说明了人工智能的价值:他们在创造大脑。
足够强大,甚至超越人类的智能将会挑战一切规则。
围棋,是人类创造的游戏,也是人类制造的规则。每一步落子都超过200种可能,小小一个棋盘上的可能性总数超越了宇宙中原子的数量。DeepMind创造的AlphaGo看似荒谬但却影响深远的落子,看似毫无价值却对胜负有绝对影响的选择,数千年来,人类苦苦追求的必胜之法,神之一手。从来没有任何人能想象,终极答案竟然是全局0.5子的胜率。
效率的提升让DeepMind团队可以预测由人类基因组编码和20个模式生物的几乎所有已知蛋白。这些结构数据储存在英国EMBL-EBI(欧洲分子生物学实验室欧洲生物信息研究所)托管的一个数据库中。AlphaFold预测的结构覆盖了98.5%的已知人类蛋白和其他生物的同比例蛋白。
叹息之墙:是希腊神话中分界极乐净土和冥界的一块墙壁。是拥有无限宽度和厚度的不可跨越的屏障,当GPT内部的tokenEmbedding规模越来越大,你能想到的,不能想到的,现在,过去,未来。人类依靠符号主义线性连接的所有可能性都藏在这个tokenEmbedding内部,这何尝不是人类无法跨越的叹息之墙。
ChatGPT的快速进展,也提示了一件事,在更深层的结构中,所有表达体系都是统一的,都可以被深度学习超级对齐,成为可以相互转译的描述系统。
一个事物可以用英语描述就一定能用中文或其他任何描述系统说明,历史上有大量大量的资料或个人都提到了这个观点。
也即说明,在无限样本的群体中,符合原理的真理会一次又一次的被唤醒被重视,从而影响世界。这让我想起一个西方故事。
“巴别塔”是《圣经·旧约·创世记》第11章故事中人们建造的塔。根据篇章记载,当时人类联合起来兴建希望能通往天堂的高塔;为了阻止人类的计划,上帝让人类说不同的语言,使人类相互之间不能沟通,计划因此失败,人类自此各散东西。此事件,为世上出现不同语言和种族提供解释。
ChatGPT的兴起,也许是人类重新建造巴别塔的契机!
虽然工程上,深度学习取得了巨大成功,但是没有回答一个问题,因为迄今为止,深度学习的原理是无人能解释的。亦或这个问题可以另一种问法,计算为什么能取得如此成功?
历史学家一般将休谟的哲学归类为彻底的怀疑主义,历史上著名的“休谟问题”便是怀疑论的经典问题。休谟问题分为因果问题和归纳问题,前者质疑了作为科学基础的因果关系理论,后者质疑了归纳推理。
休谟主张,大部分人都确信只要一件事物伴随着另一件事物而来,两件事物之间必然存在着一种关系,使得后者伴随前者出现。尤其是当两件事物前后发生的频次足够多时,人们对二者间存在关系的信念会增强,甚至认为二者存在必然关联。
作为英国经验论派的代表,休谟否定其必然性。在他看来,一切现实事物的关系都不具有必然性,包括最为重要的因果关系。我们常常观察B事物在A事物之后,久而久之,就以为B事物必然伴随A事物。这不过是种蹩脚的归纳法使然,难道说,以前的人们看到的天鹅都是白的,就能断定天下的天鹅一般白吗?
因此,以归纳法而认识到的关系只具有或然性。因果关系是信念的产物。至少在事实类上。
唯一的意外是:休谟对于数学和逻辑倒没加质疑。
康德指出,数学判断是种综合判断,它必须借助于直观而得到。即验证不需要经过现象A,B的先后关系来归纳。而是天然直观获得的。
布拉赫.第谷为高精度的天文数据观测记录作出了杰出贡献,他的工作协助了开普勒提出了行星三定律。最终,在一个炎热的下午,牛顿天才的创想:一切的事物的过程都可以分解为嵌套的速度变化函数,一切事物的结果都可以综合为速度变化覆盖的面积。这个规律完全打破了怀疑主义,虚无主义的论调。宇宙间确实存在着可以支配星宇的规则,这个规则可以被认识,可以被正确利用。第谷的事迹,也一直激励着我,即使不能成为最终发现规律的人,也要做好记录,为后来人打好基础。
其后,爱因斯坦以纯数理逻辑揭示了时弯曲的奥秘;冯诺依曼制造了人类第一台通用计算机,把大规模通用计算普及到世界,几乎完全改变了世界的面貌。
不可否认,西方科学取得了巨大成功。难以回避的是,我们确实遭遇了一些困境。这里我想到了一句台词[xiii]:美国人天真热情,敢想敢干;日本人有归属感,有团队精神;犹太人意志坚强,心齐如一;意大利人重亲情为家族;这些优点我们中国人都有。
精确概念并非西方科学成功的核心原因,因为存在着不可消除的不确定性。我们也有着数千年的辩证思维:反者道之动。一切事物都会走向他的反面;亦有圣贤之道,吾性具足,惟此心光明,致良知二字。更有宇宙即我心,我心即宇宙。细微至发梢,宏大至天地[xiv]的气吞山河。
拥有足够多的历史,为何通用计算的萌芽没有出现在我们的文化里?
我之见解为:西方文艺复兴工业革命,工人运动已经数百年。而在古老的东方,第一次把人民性概念搬进宪法也不过百年。我们不过是在发展的阶段之中,有理由相信,在无限样本的宇宙中,采取频率派路线的组织,会一次又一次涌现出最科学合理的方向。
上一节试图从前人哲学的成就中得到答案,即面对如此不精确的概念和不确定性,计算,是否是一种可靠可喜的认识和改造世界的手段,这是数字孪生得以获得光明未来的前提和保证。我们可以看一些严谨的论述。
AllenTuring被誉为计算机原理,人工智能之父。数理逻辑是否可以描述所有事物?
是的!
可计算性理论(Computabilitytheory)作为计算理论的一个分支,研究在不同的计算模型下哪些算法问题能够被解决。相对应的,计算理论的另一块主要内容,计算复杂性理论考虑一个问题怎样才能被有效的解决。可计算理论的研究对象有三个:
(1)判定问题:事物是否可用数理逻辑判定?(即计算机内部的变量类型和布尔逻辑描述)
(2)可计算函数:函数有解
但是!但是不能完整描述,每个数学系统都存在一些语句永远无法被证明。
一致的,不会导致矛盾,同时也是完备的所有数学真理的基础并不存在。
计算科学中的停机问题即是明证:
两种情形都是计算科学不能承受之重。
当前,相当的行业从业者都判断,大型影像设备的增量空间趋于平缓,新的行业转换周期就在眼前。
自2015年,各路资本和团队相继入局。
仅就本文而言,digitaltwin(数字孪生)概念是可行的链接本行业过去海量数据和未来巨大可能的最佳选择。本文简单论述了以CT为例的现状,尽管有着硬件和标准和执行性上的巨大挑战,但是。基于可计算性原理的GE医疗和西门子医疗在设备的一致性上取得了可信的成就,但是这依旧不足以打开未来世界的大门。
尽管市面上存在有医疗元宇宙的概念,但是,回顾第一章,我们需要的不是一个静态的数字玩偶,我们要打造的是一个具备自主能力的数字生命,她储存着人类所有的结构性;神经体液调节;免疫系统疾病;她通过环境感知和文本分析可以与患者共情。也许她会证明,可计算性是宇宙的本质,理性和人性就是可计算性的阳面;而自由意志和艺术的涌现就在哥德尔不完备的阴影之中。
医疗行业的ChatGPT时刻远没有带来,但是可以期待的是在客观条件上我们已经具备。
也许我们期待的世界需要在生产力发展到极致以后才会出现,那不知道需要有多久,但是应该保持足够信心,长城内外,江河上下。曾为天人想象的更立西江石壁,截断巫山云雨,高峡出平湖已经变为现实,这无疑是对我们的巨大激励。
如果,世界的本质真的可计算的[xv](自2023年6月萌生此文想法,这里可以参考StephenWolfram的另一种视角)。
在可计算的宇宙中不存在任何特权样本,采用贝叶斯视角的精英主义大概率会行行失故路,而全局频率视角的群体主义任道或能通。