大众娱乐
- 支 持:macOS
- 分 类:益智游戏
- 大 小:482 MB
- 版 本:9.5.7
- 评 分:
- 开发者:星河之光软件科技有限公司
- 下载量:4672次
- 发 布:2024-11-15 13:52:59
扫码免费下载
#大众娱乐简介
隨後的古希臘哲學家觀察天體運行,致力於發展基於經驗證據的宇宙模型。第一個連貫的宇宙模型由歐多克索斯提出,他是柏拉圖的學生,繼承了柏拉圖認為天體運動必須是圓形的理念。為了解釋行星運動中的複雜現象,特別是逆行運動,歐多克索斯的模型中包括了27個不同的天球:每顆肉眼可見的行星有四個天球,太陽和月亮各有三個天球,還有一個天球屬於恆星。這些天球全部以地球為中心,地球保持靜止,而天球則永恆地旋轉。亞里士多德進一步完善了這一模型,將天球的數量增加到55個,以解釋行星運動的更多細節。對亞里士多德而言,普通物質完全包含在地球圈內,並遵循與根本不同的規則。
Rosser于1939年对“可有效计算性”进行了如下的解读:“很明显CC和RC(邱奇和Rosser的论据)的成立依赖于对‘有效性’的严格定义。‘有效的方法’主要是指该方法的每一步都可被事先确定,而且该方法可在有限的步数之内生成结果”。因此,‘有效性’实际上包含两层含义: