Je was op zoek naar: undefined (Fins - Engels)

undefined type of a variable
no learned functions

etsi@ item undefined import field type
search

rec470bgogg theora cs tag value: undefined
rec470bg

vanhentuneet/ estetyt avaimet: undefined key trust
expired

kirjasto ei riipu ulkoisista symboleista (-no-undefined)
library does not depend on external symbols (-no-undefined)

hän oli tutkinut yksinkertaistettuja menetelmiä, jotka johtuvat sen paradokseja (kuten richard ja russell) järjestelmien logiikka, jotka ovat ristiriidassa, ja se oli myös kehitetty menetelmä otetaan combinatory logiikka undefined käsitteet yleispätevyyttä, kuten määrällisiä rajoituksia tai muodollisen epäsuorasti, siten, että johdonmukaisuus lause, kuten siitä, että kirkon ja rosser voisi vielä saatu.
he had examined simplified methods of deriving the paradoxes (such as those of richard and russell ) in systems of logic which are inconsistent, and had also developed a method of introducing into combinatory logic undefined notions of generality, such as quantification or formal implication, in such a way that a consistency theorem like that of church and rosser could still be derived.