|
关注：1
2013-05-23 12:21
求翻译：However, the idea of recasting the entire apparatus of logic—semantics as well as syntax—in category-theoretic terms, creating thereby a full-fledged “categorical logic”, rests with the visionary category-theorist F. William Lawvere.是什么意思？ 待解决
 悬赏分：1
- 离问题结束还有
However, the idea of recasting the entire apparatus of logic—semantics as well as syntax—in category-theoretic terms, creating thereby a full-fledged “categorical logic”, rests with the visionary category-theorist F. William Lawvere.
问题补充： |
|
2013-05-23 12:21:38
然而，重铸逻辑语义的整个装置以及语法的类别 - 理论方面，从而创建一个完整的“分类的逻辑”的理念，在于有远见的类别 - 理论家f。威廉lawvere。
|
|
2013-05-23 12:23:18
然而，重铸逻辑语义学整个用具想法以及句法在类别理论期限，创造从而完全的“绝对逻辑”，取决于幻想类别理论家F.威廉Lawvere。
|
|
2013-05-23 12:24:58
然而，重铸逻辑语义学整个用具想法并且句法在类别理论期限，创造从而完全的“绝对逻辑”，休息与幻想类别理论家F。 威廉Lawvere。
|
|
2013-05-23 12:26:38
然而，重铸的整个用具的逻辑的想法 — — 语义以及语法 — — 在类别理论术语中，从而创建一个正式的"断然逻辑"，在于有远见类别理论家 F.威廉 Lawvere。
|
|
2013-05-23 12:28:18
但是,这一想法的重新塑造整个装置的逻辑语义和语法的类别的理论而言,从而创建一个完整的“绝对逻辑”,在于有远见类别理论家F.威廉·lawvere。
|
湖北省互联网违法和不良信息举报平台 | 网上有害信息举报专区 | 电信诈骗举报专区 | 涉历史虚无主义有害信息举报专区 | 涉企侵权举报专区
