Talk:Proof: Difference between revisions
Content added Content deleted
(→Quantifiers: re) |
|||
Line 208: | Line 208: | ||
::::: Typically a type, in computer programming, symbolizes a set of values which may validly be represented in the computer program. If the set is infinite, however, the validity requirement vanishes. --[[User:Rdm|Rdm]] 22:27, 13 May 2012 (UTC) |
::::: Typically a type, in computer programming, symbolizes a set of values which may validly be represented in the computer program. If the set is infinite, however, the validity requirement vanishes. --[[User:Rdm|Rdm]] 22:27, 13 May 2012 (UTC) |
||
:::::: Not even wrong... I don't think it will be fruitful to continue this discussion. —''[[User:Ruud Koot|Ruud]]'' 22:41, 13 May 2012 (UTC) |