Posted on Leave a comment

Type theory (Math Dictionary)

Type theory: an alternative to naive set theory in which all mathematical entities are assigned to a type within a hierarchy of types, so that objects of a given type are built exclusively from objects of preceding types lower in the hierarchy, thus preventing loops and paradoxes

_ ស្វែងរកឬបកប្រែពាក្យផ្សេងទៀតនៅប្រអប់នេះ៖
_ខាងក្រោមនេះជាសៀវភៅនិងឯកសារសម្រាប់ការងារនិងរៀនគ្រប់ប្រភេទ៖
Leave a Reply