Turing's 1936 paper on computable n

Turing's 1936 paper on computable numbers hit that rare bull's eye where philosophy and discovery overlap. The mathematician Alonzo Church at Princeton came to the same findings just months before Turing. But unlike Church, who used the standard abstractions of pure mathematics in his argument, Turing wrote of machines, algorithms, ink, paper tape, and computation. (Before Turing, a "computer" referred not to a machine, but to a human being who calculated with paper and pencil.)

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

กระดาษ 1936 ของทัวริงเลข computable ตีที่หายากตาวัวที่ปรัชญาและค้นพบซ้อนทับ อลอนโซเชิร์ชที่ Princeton นักคณิตศาสตร์มาเดือนเพียงประเด็นเดียวก่อนทัวริง แต่ต่างจากคริสตจักร ผู้ใช้ abstractions มาตรฐานของคณิตศาสตร์บริสุทธิ์ในอาร์กิวเมนต์ของเขา ทัวริงเขียนเครื่อง อัลกอริทึม หมึก กระดาษเทป และคำนวณ (ก่อนทัวริง "คอมพิวเตอร์" เรียกว่าไม่มีเครื่อง แต่ การเป็นมนุษย์ที่คำนวณ ด้วยกระดาษและดินสอ)

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

ทัวริง 1936 กระดาษคำนวณตัวเลขที่ตีตาวัวที่หายากของที่ปรัชญาและการค้นพบที่ทับซ้อนกัน นักคณิตศาสตร์โบสถ์อลองโซที่ Princeton มาถึงผลการวิจัยเดียวกันเดือนก่อนทัวริง แต่แตกต่างจากคริสตจักรที่ใช้แนวคิดมาตรฐานของคณิตศาสตร์บริสุทธิ์ในข้อโต้แย้งของทัวริงเขียนของเครื่องอัลกอริทึมหมึกเทปกระดาษและการคำนวณ (ก่อนทัวริงเป็น "คอมพิวเตอร์" เรียกว่าไม่ให้เครื่อง แต่เพื่อความเป็นมนุษย์ที่คำนวณได้กับกระดาษและดินสอ.)

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

ทัวริง 2479 ของกระดาษคำนวณตัวเลขกดปุ่มนั้นหายากเข้าเป้าที่ปรัชญาและการค้นพบที่ทับซ้อนกัน นักคณิตศาสตร์อลองโซโบสถ์ที่พรินซ์ตันมาใช้เหมือนกันเดือนก่อน ทูริ่ง แต่ไม่เหมือนโบสถ์ที่ใช้นามธรรมได้มาตรฐานของคณิตศาสตร์บริสุทธิ์ในการโต้เถียงของเขาเขียนของเครื่องทัวริง , ขั้นตอนวิธี , หมึก , กระดาษเทป และผลที่ได้จากการคำนวณ ( ก่อนทัวริง , " คอมพิวเตอร์ " อ้างไม่ใช่เครื่อง แต่เป็นมนุษย์ที่คำนวณด้วยกระดาษและดินสอ )