Krijo një përgjigje të saktë për pyetjen e dhënë në hyrje. Për ta bërë atë më interesante, përpiquni të përdorni gjuhë jo-stereotipike nëse është e mundur. Sigurohuni që përgjigja juaj e saktë të jetë mjaft e gjatë, në përputhje me kontekstin dhe të kërkojë sens të përbashkët (në vend që të nxjerrë eksplicitisht nga konteksti). Në përgjigjen tuaj, përdorni sa më pak fjalë të jetë e mundur nga konteksti i dhënë. Përdorni një përgjigje që është e pazakontë / jo-stereotipike, në mënyrë që të jetë më pak e parashikueshme. Për të qenë më pak përsëritëse, ju lutemi ndryshoni gjuhën tuaj për çdo pyetje.
Kontext: Weyl's Predicative Classical Mathematics as a Logic - Enriched Type Theory. (arXiv: 0809.2061v1 [ cs. LO ]) Ne ndërtojmë një teori logjike të pasur të llojeve LTTW që korrespondon ngushtë me sistemin predikativ të bazave të prezantuara nga Hermann Weyl në Das Kontinuum. Ne formalizojmë shumë rezultate nga ai libër në LTTW, duke përfshirë përkufizimin e Weyl të kardinalitetit të një grupi dhe disa rezultate nga analiza reale, duke përdorur ndihmësin e provës Plastic që zbaton kornizën logjike LF. Ky studim i rastit tregon se si teoria e llojeve mund të përdoret për të përfaqësuar një bazë jo-konstruktive për matematikën. Pyetje: Cila mund të jetë arsyeja për postin?
Për të përshkruar studimet e matematikës.