在这种区分的基础上,塔尔斯基给真理下了一个内容上恰当、形式上正确的定义,即约定T(convention T):X是真的当且仅当P。塔尔斯基指出,一个内容恰当且形式正确的真理定义,都应当具有约定T的形式。
基于20个网页-相关网页
And third, Theories of Convention T and the enlarged formulae of a metalaguage offer us a basic structure of the conclusion of this research.
最后,用T约定和工具性语言扩展式为本文的结论提供框架。
The convention centre boasts nearly as many mothers with prams as heavy-metal-T-shirted, body-pierced teens.
会展中心充斥的推着婴儿车的妈妈们和穿着重金属T恤,身上穿环的青年几乎差不多数量。
We could also, I think, well, maybe this isn't written out in terms of that convention, which sometimes it's not, so let's also try writing it, such that we have the hydrogen and the oxygen atom there.
我们也可以,我想,好吧,还有可能它不是按照惯例写的,有时候会出现这样的情况,因此,让我们把氢原子和,氧原子成键的情况也写出来。
Only the operating system has controlling of byte zero NULL in the computer's RAM and so if a function ever returns null, aka zero, well, something must have gone wrong because that can't possibly belong to me that memory because by human convention zero is owned by the operating system; not by a program I wrote.
只用操作系统在内存中能够控制,字节0,并且如果一个函数返回,或者说0,好的,可能出错了,因为那可能是不属于我的内存,因为惯例上,0是由操作系统拥有的,而不是由我的程序拥有的。
So just to reinforce this, I could run gcc math2.c but I'm getting a little tired of this a.out convention and recall that there's this utility called "make" that right now doesn't really improve much, other than give it a better name.
所以我强调这点,我可以运行“gcc,math2,c“,但是我不是很喜欢a,out这个默认的名字,想取消它,那么这里有个叫做“make“的命令“,这个命令现在没有很大的改进,只是把用来更改名字用的。
应用推荐