Theorem 2 There does exist some alg

Theorem 2 There does exist some algorithm that denumerates the set of the complex numbers.
Proof. I will prove constructively, showing my algorithm: first, I define an alphabet,a formal language for arithmetic expressions and write a parser for expressions of this language, which, in its turn, contains only the alphabet defined for constant expressions, operators and symbols such as "(",","and ")" used in expressions identifers of all arithmetic functions such as "log" and "sin", and reserved words of constant values, such as "e", "p: and "i", but that language does not contain any variable. One typically uses BNF for doing so.

ผลลัพธ์ (ไทย) 2:

ทฤษฎีบท 2 มีไม่อยู่ขั้นตอนวิธีการบางอย่างที่ denumerates ชุดของตัวเลขที่ซับซ้อน.
หลักฐาน ฉันจะพิสูจน์สร้างสรรค์แสดงขั้นตอนวิธีของฉัน: ครั้งแรกที่ผมกำหนดตัวอักษรเป็นภาษาอย่างเป็นทางการสำหรับการแสดงออกทางคณิตศาสตร์และเขียน parser สำหรับการแสดงออกของภาษานี้ซึ่งในทางกลับกันมันมีเพียงตัวอักษรที่กำหนดไว้สำหรับการแสดงออกอย่างต่อเนื่องผู้ประกอบการและสัญลักษณ์ เช่น "(", "" และ ")" ที่ใช้ในการแสดงออก identifers ของฟังก์ชั่นทางคณิตศาสตร์เช่น "เข้าสู่ระบบ" และ "บาป" และคำพูดของค่าคงที่สงวนไว้เช่น "อี", "พีและ" i "แต่ภาษาที่ไม่ได้มีตัวแปรใด ๆ . หนึ่งมักจะใช้ BNF สำหรับการทำเช่นนั้น

ผลลัพธ์ (ไทย) 3:

ทฤษฎีบท 2 ตรงนั้นมีอยู่บางขั้นตอนวิธีที่ denumerates ชุดของตัวเลขที่ซับซ้อน .
พิสูจน์ ผมจะพิสูจน์อย่างสร้างสรรค์ แสดงขั้นตอนวิธีการของผมก่อน ผมกำหนดตัวอักษรเป็นภาษาสุภาพสำหรับนิพจน์เลขคณิตและเขียน parser สำหรับการแสดงออกของภาษานี้ซึ่งในการเปิดของมัน มีเพียงตัวอักษรที่กำหนดไว้สำหรับนิพจน์ค่าคงที่ , ผู้ประกอบการและสัญลักษณ์เช่น " ( " , "" และ " ) " ที่ใช้ในการแสดงออก identifers ของฟังก์ชันเลขคณิต เช่น " บันทึก " และ " บาป " และคําสงวนของค่าคงที่ เช่น " E " , " P : " ฉัน " แต่ภาษาไม่ได้มีใด ๆตัวแปร หนึ่งมักจะใช้ขาสำหรับการทำเช่นนั้น