1. 完全性定理は一階述語論理の中心的属性だが、あらゆる論理で成り立つわけではない。

完备性定理是一阶逻辑的中心性质,不在所有逻辑中成立。

2. アインシュタインの一般相対性理論によると アインシュタインの一般相対性理論によると 重力が物を押し離すこともあるのです

但在爱因斯坦的引力理论中, 他的广义相对论, 引力也可以把东西推开的。

3. 1957年にBCS理論が発表されてから、低温超伝導性の理論はよく理解されるようになった。

BCS理論在1957年被發佈之後,人們對低溫超導的認知已經非常詳盡了。

4. 公理的意味論(こうりてきいみろん、Axiomatics Semantics)とは、数理論理学に基づいてプログラムの正当性を証明する手法。

公理语义学(Axiomatic semantics)是使用数理逻辑来证明程序正确性。

5. 高階述語論理は表現能力が高いが、その特性、特にモデル理論に関わる部分では、多くの応用について性格が良いとは言えない。

高阶逻辑更加富有表达力,但是它们的性质,特别是有关模型论的,使它们对很多应用不能表现良好。

6. 女性による手芸から ユークリッド そして 一般相対性理論へと順行しています

因此在女性手工艺和 欧几里得以及广义相对论之间 有直接的联系。

7. 論理的結合 論理包含

逻各斯 对立统一 辩证法

8. しかし ひも理論を含む 最近の物理学理論は 異なる性質と 違った法則にしたがう 違ったタイプの素粒子からなる 無数の別の宇宙の 存在の可能性を告げています

然而,物理学最近的理论显示,包括弦理论, 告诉我们世界上可能会有数不完的其他宇宙 由不同于我们的宇宙的微粒组成, 有不同的性质,遵循不同的规律。

9. グレゴリー・チャイティンによれば、「シャノンの情報理論とチューリングの計算複雑性理論をシェイカーに入れて、力いっぱいシェイクしてできたもの」である。

按照Gregory Chaitin的说法,它是“把香农的信息论和图灵的可计算论放在调酒杯使劲摇晃的结果。

10. ゲーデルの完全性定理は、一階述語計算の演繹系が、全ての論理的に妥当な論理式の証明に追加の推論規則を必要としないという意味で「完全」であるとしている。

在另一个方向上,哥德尔完备性定理声称一阶谓词演算的推理规则是“完备的”,在不需要额外的推理规则来证明所有逻辑上有效的公式的意义上。

11. 物質科学、特に弾性理論では、捩れの考え方は重要である。

在材料科学中,特别是弹性理论,挠率的想法也扮演着重要的角色。

12. 二階述語論理もさらに高階述語論理や型理論に拡張される。

二阶逻辑接着被高阶逻辑和类型论所扩展。

13. ナノ炭素系新物質(フラーレン、ナノチューブ、ナノグラフェン等) π共役電子系(導電性高分子、共役高分子、デンドリマー等) 物性理論。

基于碳元素的新型纳米材料(富勒烯,纳米炭管,纳米石墨) π共轭电子系材料(导电高分子,共轭高分子,デンドリマー) 物性理论。

14. 管理主義が政府の資金調達の可能性の増加によるNGOの合法性の提供を議論する。

增加了政府提供资金支持的可能性。

15. 弦理論というのは 1つの理論ではなく 大きな理論の集まりなのです

那就是弦理论并不只是一个理论, 而是很多个理论的集合。

16. よく聴くアーティストは空想委員会、相対性理論、東京事変、APOGEE、ASIAN KUNG-FU GENERATION、Galileo Galilei。

經常聽空想委員會、相對性理論、東京事變、APOGEE(日语:APOGEE)、亞細亞功夫世代和Galileo Galilei。

17. 専門は数理マルクス経済学、厚生経済学、社会選択理論、ゲーム理論。

專長為數理馬克思經濟學、數理經濟學、福利經濟學、社會選擇理論、博弈論。

18. 20世紀の物理学者と科学者は、群論を対称性を研究する理想的な枠組みとみなした。

20世纪的物理学家和其他科学家发现群论是研究对称性的理想工具。

19. もう十分と思うかもしれませんが 9月には 4番目の論文が 特殊相対性理論の 論文への付け足しとして書かれました

你也许认为这已经足够了, 但是在九月, 第四篇论文以狭义相对论论文的后续的方式诞生了。

20. 100年前の今月 36歳のアルベルト・アインシュタインは ベルリンにある プロイセン科学アカデミーで 空間と時間と重力に関する 画期的な理論を発表しました 一般相対性理論です

在一个世纪前的这个月, 36岁的阿尔伯特•爱因斯坦 站在柏林的普鲁士科学院门口, 发布着一个有关空间, 时间和引力的激进的新理论: 广义相对论。

21. 領域理論は、情報の状態の構造をモデル化する純粋に定性的なアプローチである。

域理论是建模信息状态的结构的纯粹定性的方式。

22. 現代的な国において 富と権力の間の調停は もはや論理や理性の役割ではなくなっています

在一个现代化国家,逻辑和理性的作用已不再只包括 以前所做的关于财富和权力的调解。

23. 公理的意味論の典型的な例としてホーア論理がある。

公理语义学的一个实例是霍尔逻辑。

24. 線形論理は1987年、フランスの論理学者ジャン=イヴ・ジラールが提唱した。

线性逻辑由法国数学家Jean-Yves Girard在1987年提出。

25. 科学を学ぶため、執筆のあいだ中彼はカリフォルニア工科大学で相対性理論を学んだ。

為了要了解科學的理論,他在寫劇本期間到加州理工學院研究相對論。

26. 2004年10月2日、オックスフォード大学の理論物理学の建物は「サー・ルドルフ・パイエルス理論物理学センター」と命名された。

牛津大學理論物理學部的建築於2004年10月2日被正式命名為“魯道夫·佩爾斯爵士理論物理學中心”。

27. 論理プログラミングの基本は数理論理学のスタイルをコンピュータのプログラミングに持ち込むことにある。

邏輯編程的要點是將正規的邏輯風格帶入電腦程式設計之中。

28. 仲正昌樹は、そもそもフロイトはエディプス理論に自信がなかったために、1923年の『自我とエス』まで一般的な理論的定式にしなかった可能性もあると指摘する。

仲正昌樹(日语:仲正昌樹)指出弗洛伊德可能是對伊底帕斯情結沒有信心,所以才在1923年的《自我與本我》中並沒有把其視為概括性理論看待。

29. 1915年 - アルベルト・アインシュタインは一般相対性理論を提唱し、エネルギー密度は時空を歪めることを示した。

1915年-阿爾伯特·愛因斯坦發表廣義相對論,顯示能量密度扭曲時空。

30. en:probabilistic argumentation理論では、確率は直接論理命題に付与されていない。

在概率论证理论中,概率不直接附加到逻辑句子上。

31. この理論はシンプルでエレガントな上 この理論はシンプルでエレガントな上 「土」「空気」「火」「水」の理論よりも ずっと正しいものでした

这个理论简单而优美, 而且比起四元素说 它更有希望被证实。

32. また 若手の物理学者のマックス・テグマークは 全ての数理的な構造は存在し そして数理的な存在は物理的な存在と 同じであると信じているので 我々は全ての理論的な可能性を包括する この広大で豊かな多元宇宙論を有するのです

另外,一个更年轻的物理学家,马克斯•泰格马克, 相信所有的数学理论架构都存在, 数学的存在跟物理的存在 是一回事, 因此,那么多多元宇宙的存在 包含了所有逻辑可能性。

33. 弦理論の時空は 10次元であり、M-理論の時空は 11次元である。

弦理论中的时空是10维的,而M理论的时空则為11维。

34. 一階述語論理では単一の標準の意味論しかなかったが、二階述語論理では2種類の意味論 standard semantics と Henkin semantics がある。

不像只有一个标准语义的一阶逻辑,二阶逻辑有两个常用的不同语义:标准语义和Henkin语义。

35. 本研究では、ネットワークの構造的諸概念を社会関係資本論、取引コスト論、同類原理、ならびに複数のレベルの資源依存理論と接続するとともに、地 域社会の再生や地域経済の活性化にむけた取引関係の評価を行う。

本论文把网络结构的概念和不同层次的理论, 诸如社 会资本理论, 交易费用理论, 同质性理论, 以及资源依赖理论联系了起来, 同时对促进社区 重建和当地经济发展的社区交易关系进行了评估。

36. 漸近的自由性自体は 1969年にヨシフ・クリプロビッチ(英語版) も SU(2) ゲージ理論 の漸近的自由性を数学的好奇心から発見しており、また、論文にはしていなかったが ゲラルド・トフーフトも1972年に気づいていた。

早在1969年,俄國物理學家約西夫·赫里普洛維奇(Iosif Khriplovich)就發現了SU(2)規範場論的漸近自由,但當時只被當成數學趣事;而傑拉德·特·胡夫特在1972年也注意到這個效應,但並沒有發表這個發現。

37. 前提と価値の枠組みに基づくと、今日の世界で理性的で理論的だと理解されていることは、行動実践に対する精神構造を提示する。

我们现在所理解的、在当今世界中是合理及合乎逻辑的事情,提供了一个基于由前提和价值组成的架构来采取行动的心理方案。

38. リック: 勿論理解していますし ネットの 有益性について同感です そして インターネットより大きいものは

理查德‧莱杰特: 我明白并且同意互联网的功能, 我想说它比互联网更大。

39. 英国の理論家エドワード・ミルンは,相対性理論に関する数学論文の結論でこう述べています。「 膨張説[宇宙大爆発生成説]との関連における宇宙の第一原因については,読者のご高察に任せるが,その存在なくしては我々の心像は未完成である」。

英国理论家爱德华·米因在关于相对论的数学论文中作出结论说:“至于与膨胀说[大爆炸]有关的宇宙首因,我们留待读者评定,但若没有‘他’存在,我们就无法对事情有一个完整的概念。”

40. 論理と型理論の違いは、焦点が型(命題)からプログラム(証明)に移っている点である。

在逻辑和类型论之间的区别主要是把焦点从类型(命题)转移到了程序(证明)。

41. この目的が表象の心の理論のうちで達成されれば、挑戦はLOTの原始的・非論理的象徴の解釈を打ち立てる因果の理論を考案する。

如果要在心灵表征理论内部实现这个目标,那么挑战就是设想一种能够建立对LOT中原初的非逻辑符号建立解释的因果理论。

42. Henkin semantics を伴った二階述語論理は、一階述語論理と同等の表現能力しかない。

带有Henkin语义的二阶逻辑不比一阶逻辑有更大表达能力。

43. 彼の議論は合理的だ。

他的观点是合理的。

44. それらは 皆さんの論拠や 論理性の説得力を高める力になります 時には 皆さん自身が 意見を変えることになるかもしれません

这些可以帮助你 完善自己的观点和推理, 甚至有时候,最终改变你想法的人 可能就是你自己。

45. もしこの軸傾き理論が論破されていたなら、 この理論の擁護者はどうすることもできなかったでしょう。

倘若“地轴倾斜”理论被观察否定了 它的支持者们就无路可退了

46. その間にも,理論家の中には,自然界の力を統一するために“超弦理論”なる新しい数学的理論を発展させようとしている人もいます。

与此同时,有些理论家正尝试发展一种新的数学方法,叫做“超控论”(superstring theory),以求把自然界的各种力统一起来。

47. その理論の主は 美学者や ポストモダンの美術理論家や 芸術批評の大家 ではありません

这一理论不是来自艺术哲学家, 也不是来自后现代艺术理论家 或是有名的艺术评论家。

48. 彼らは,女性の行動が月経周期中のホルモンの変動によって影響され得ることを理論づけました。

他们推断,妇女在月经周期内的激素变化可以影响她们的行为。

49. ヴィーザーの2つの主要な貢献は、生産要素の価格は生産物価格により決定される、と主張する「転嫁」の理論、および、価値理論の基礎---新古典主義理論における主観主義者の柱としての「機会費用」理論である。

維塞爾對經濟學的兩大貢獻之一是「歸屬」(imputation)理論,主張產品的要素價格是由生產價格加上机会成本所決定的,這個理論成為了奧地利經濟學派價值的主觀理論的基礎,也成為了新古典派经济学的基礎之一。

50. そのため、ターゲットの理論が必要です、 証明したり、反証したりできる理論が必要です。

因此我们需要目标理论 我们能用它来证实与否。

51. ひどく複雑な理論で とても難解な積分や式や計算などで 一杯の理論でした

那是一套十分复杂的理论 里面充满了复杂的积分和方程 还有各种各样的数学

52. ゲーム理論の授業を受けたことがある人なら 誰でもこの理論について習う筈です

所以,如果你曾在不同的层面尝试对策论, 你将会对这个有些许领悟。

53. こうした望ましい特性に加えて、領域理論は直観的な解釈に訴えることも可能にしている。

除了这些需要的性质,域理论还允许吸引人的直觉释义。

54. 表題曲「愛、テキサス」は、相対性理論による楽曲提供で自身主演のTBS系ドラマ『最高の人生の終り方〜エンディングプランナー〜』の主題歌。

標題曲「愛、Texas」是山下智久主演TBS系電視劇『最棒的人生終結方式~Ending Planner~』的主題曲。

55. そう これは論理的エラーです

这是一个逻辑上的错误

56. 1955年、IBMは、ロチェスターを代表者としてパターン認識、情報理論、スイッチング回路理論を研究するグループを組織した。

1955年,IBM 组织了一个小组,研究模式识别、信息理论和开关电路理论,由罗切斯特领导。

57. これまでの研究者は、資金提供者の理性と道徳における自己概念と一貫する慈善金への認知的不協和理論を適用している。

对慈善捐助采用认知失调理论的早期研究人员发现,对于许多捐赠人来说,捐助是与其作为理性和道德存在的自我概念相一致的方式。

58. この類型学は特に、NGOの戦略的な方向の不均質性を説明する理論的かつ経験的基礎を提供する。

此分类为未来非盈利组织的明确战略定位解释的理论化提供了经验基础。

59. 避けられない論理の帰結

无法避免的连锁反应

60. 歴史的に、心の機能構造に関する疑問は、機能の性質に関する二つの異なる理論に分けられた。

歴史的に、心の機能構造に関する疑問は、機能の性質に関する二つの異なる理論に分けられた。

61. この結論は明らかに 理屈に合いませんが この論理のどこに 欠陥があるのでしょう?

这个结论显然很荒谬 但是,逻辑的瑕疵在哪呢?

62. 病気のメカニズムに関する一理論

解释疾病成因的一个原理

63. 互恵的利他主義(1971)、親の投資理論(1972)、親子の対立(1974)の理論提唱によってよく知られる。

他提出了互利主义(英语:reciprocal altruism)(1971年)、亲代投资(1972年)、兼性性別比确定(1973年)和亲子冲突(英语:parent-offspring conflict)(1974年)等理论。

64. 人は不確実な理由付けで 論理的エラーを犯します

他们在不确定性方面犯逻辑错误

65. ヘルマン・ワイル (Hermann Weyl) は続けて極大トーラスの理論に基づいてコンパクト連結リー群の詳細な指標理論を与えた。

赫尔曼·外尔 基于極大環面理論給出了緊連通李群的詳細的特征理論。

66. 政治理論学者として,言論,信教,教育の自由を唱道した。

他是个政治理论家,提倡言论、信仰和接受教育的自由。

67. ホーア論理には、単純な命令型言語の全構成要素についての公理と推論規則が備わっている。

霍爾邏輯为简单的命令式编程语言的所有构造提供了公理和推理规则。

68. 資料に基づく論理的な発展

论点编排合乎逻辑

69. 雨粒内の光のエネルギーと物質との相互作用は非常に密接であるため,それを理解するには量子力学や相対性理論を研究する必要がある。

卡尔·博耶评论说:“光能与物质在水滴内的相互作用十分微妙,跟量子力学和狭义相对论密切相关......。 尽管人类知道彩虹形成的原理,但对于个中底蕴,却所知甚少。”(《

70. 出発点となったのは、物理学者のユージン・ウィグナーの名高い1960年の論文「自然科学における数学の不合理な有効性」The Unreasonable Effectiveness of Mathematics in the Natural Sciencesであった。

这被尤金·维格纳在1960年叫做“数学在自然科学中无理由的有效性”(The unreasonable effectiveness of mathematics in the natural sciences)。

71. 集合 集合論 公理的集合論 順序数 構成可能集合 整礎関係

良序定理 序数 良基集合 良偏序 预良序 有向集合

72. 経験 を 積 む こと は 論理 的 で す

有 其它 選擇 也 是 合理

73. また、フィッシャーの原理は進化ゲーム理論のさきがけでもある。

费雪原理也是进化博弈理论的前身。

74. always_comb ブロックは組合せ論理を生成する。

下面的例子使用always_comb来描述组合逻辑电路。

75. 私の屍姦の理論も水の泡です

所以我之前关于恋尸癖的理论并不完全正确。

76. ロシアは無論それを理解している。

這一點,俄方應非常清楚。

77. 論理は明確で説得力もあり 議論の余地もなさそうですが?

我的意思,这是一个很好的逻辑, 听起来非常有说服力的,不是吗?

78. でも彼の理論は根強いもので 労働者を 個性のない集団だとか 彼らの心情は想像がつくと思いがちです

但是,他对这个世界的观点没变,而我们却将 这些工人们看成是一群上不了台面的群体, 想象一下,假如我们可以了解工人们的真实想法。

79. 聖書の明快な論理はこうです。「

圣经说地球上的生命是智慧的结晶。

80. 本論文は、組織論の視点から、公共性と非営利性の探求における知的軌跡の見直しを提示する。

本文探索了公共性研究的知识轨迹,并通过组织理论透镜搜索非盈利性。