เพลโตน โปเรตสกี
เพลโตน โปเรตสกี | |
|---|---|
แพลตโตน เซอร์เกอีวิช โปเรตสกี | |
| เกิด | ( 3 ตุลาคม พ.ศ. 2489 ) เอลิซาเวกราดจักรวรรดิรัสเซีย |
| เสียชีวิต | 9 สิงหาคม 1907 (อายุ 60 ปี) Gorodnyansky Uyezdเขตผู้ว่าการเชอร์นิกอฟ จักรวรรดิรัสเซีย |
| อัลมา มัธยฐาน | มหาวิทยาลัยคาร์คอฟ |
| เป็นที่รู้จัก ในด้าน | กฎแห่งรูปแบบของโปเรตสกี |
| เส้นทางอาชีพด้านวิทยาศาสตร์ | |
| ฟิลด์ | ดาราศาสตร์คณิตศาสตร์ตรรกศาสตร์ |
| สถาบันต่างๆ | มหาวิทยาลัยคาซาน |
| วิทยานิพนธ์ | ว่าด้วยการแก้ปัญหาระบบปกติบางประการที่เกิดขึ้นในดาราศาสตร์ทรงกลม พร้อมด้วยการประยุกต์ใช้เพื่อระบุข้อผิดพลาดในการแบ่งวงกลมเส้นเมริเดียนของหอดูดาวคาซาน(1886) |
Platon Sergeevich Poretsky ( รัสเซีย: Платон Серге́евич Порецкий ; 3 ตุลาคม พ.ศ. 2389 ในเมืองElisavetgrad จักรวรรดิรัสเซีย - 9 สิงหาคม พ.ศ. 2450 ใน เมือง Gorodnyansky Uyezd เขตปกครองเชอร์นิกอฟจักรวรรดิ รัสเซีย ) เป็นนักดาราศาสตร์นักคณิตศาสตร์และนักตรรกศาสตร์ของจักรวรรดิรัสเซีย
เขา จบการศึกษาจากมหาวิทยาลัยคาร์คอฟและทำงานในเมืองอัสตราคานและปุลโคโวในเซนต์ปีเตอร์สเบิร์ก
ต่อมา ในฐานะนักดาราศาสตร์ที่มหาวิทยาลัยคาซานตามคำแนะนำของศาสตราจารย์เอ.วี. วาซิลิเยฟ เพื่อนร่วมงานอาวุโสของเขาที่มหาวิทยาลัยคาซาน (บิดาของนิโคไล เอ. วาซิลิเยฟ ) ให้ศึกษาผลงานของจอร์จ บูล โปเรตสกีจึงพัฒนา "แคลคูลัสเชิงตรรกะ" และนำไปประยุกต์ใช้กับ ทฤษฎีความน่าจะเป็นผ่าน "สมการเชิงตรรกะ" เฉพาะเจาะจงดังนั้น เขาจึงขยายและเสริมงานของนักตรรกศาสตร์และนักคณิตศาสตร์ George Boole, William Stanley JevonsและErnst Schröder (ซึ่งรู้จักกันในชื่อวิธี Boole–Jevons–Schröder–Poretsky) [ 1 ]เขาค้นพบกฎของรูปแบบของ Poretsky [ 2 ]และให้การวิเคราะห์ทั่วไปครั้งแรกเกี่ยวกับการให้เหตุผลแบบบูลีนทั้งแบบก่อนหน้าและแบบตามหลัง[ 3 ] [ 4 ]ซึ่งเป็นพื้นฐานสำหรับงานของArchie Blake เกี่ยว กับรูปแบบมาตรฐานของ Blake
- ↑ Brusentsov, Nikolay Petrovich; Vladimirova, Julia Sergeevna (ตุลาคม 1998). "การแก้สมการบูลีน". คณิตศาสตร์เชิงคำนวณและการสร้างแบบจำลอง 9 ( 4): 287– 295. doi : 10.1007/BF02409862 . S2CID 122112834 . (แปลจาก "Metody Matematicheskogo Modelirovaniya", 1998, หน้า 59–68)
- ↑ โพเรตสกี, พลาตัน เซอร์เกวิช (1884) "โอ้ สโปโซบาค เรเชเนีย ลอปกิสเชสคิช ราเวนสตี อิ ออบ โอบราธอม สโปโคเบ มาเตมาทิสเชสคอย โลกิกี"О способах решения логических равенств и об обратном способе[เกี่ยวกับวิธีการแก้สมการเชิงตรรกะและวิธีผกผันของตรรกะทางคณิตศาสตร์ บทความในการสร้างทฤษฎีการอนุมานที่สมบูรณ์และเข้าถึงได้เกี่ยวกับรูปแบบเชิงคุณภาพ] รายงานการประชุมรวมของส่วนวิทยาศาสตร์กายภาพและคณิตศาสตร์ของสมาคมนักธรรมชาติวิทยาแห่งมหาวิทยาลัยคาซาน (เป็น ภาษารัสเซีย) (2)(หมายเหตุ: เอกสารฉบับนี้ยังถูกเรียกอีกชื่อหนึ่งว่า "เกี่ยวกับวิธีการแก้สมการเชิงตรรกะและเกี่ยวกับวิธีการผกผันของตรรกะทางคณิตศาสตร์")
- ↑ โปเรตสกี, พลาตัน เซอร์เกวิช (1898) "กันยายน โลอิส ฟองดาเมนตาเลส เด ลา เธโอรี เด เอกาลิเตส ลอจิค เดอซ์ แตร์มส์" Bulletin de la Société Physico-Mathématique de Kasan (ภาษาฝรั่งเศส) 2 (8): 33– 103, 129– 181, 183– 216.
- ↑ Brown, Frank Markham [ที่ Wikidata] (2012) [2003, 1990]. "บทที่ 3: รูปแบบมาตรฐานของ Blake" การให้เหตุผลแบบบูลีน - ตรรกะของสมการบูลีน (พิมพ์ซ้ำฉบับที่ 2) Mineola, นิวยอร์ก: Dover Publications, Inc.หน้า77. ISBN 978-0-486-42785-0.
อ่านเพิ่มเติม
- Styazhkin, Nicholai Ivanovich. ประวัติศาสตร์ตรรกศาสตร์ทางคณิตศาสตร์จากไลบ์นิซถึงเปอาโน . เคมบริดจ์ แมสซาชูเซตส์/ลอนดอน, สำนักพิมพ์ MIT, 1969.
- บาจานอฟ, วาเลนติน เอ.เอกสารจดหมายเหตุใหม่เกี่ยวกับ พี.เอส. โปเรตสกี ใน: ตรรกศาสตร์สมัยใหม่, 1992, เล่ม 3, ฉบับที่ 1, หน้า 80–81.
- Bazhanov, Valentin A. ชีวิตและผลงานวิชาการของผู้บุกเบิกการวิจัยลอจิกคณิตศาสตร์ในรัสเซีย ป.ล. Poretsky ใน: Voprosy Istorii Estestvoznania i Tekhniki, 2005, N 4. หน้า 64–73 (ในภาษารัสเซีย)
- บาจานอฟ, วาเลนติน เอ. ประวัติศาสตร์ตรรกศาสตร์ในรัสเซียและสหภาพโซเวียต . มอสโก, คานอน+ , 2007 (เป็นภาษารัสเซีย). ISBN 5-88373-032-9
ลิงก์ภายนอก
- Platon Poretskyในคลังข้อมูลประวัติศาสตร์คณิตศาสตร์ของ MacTutor
- เอสแอล คาเทรชโก, พลาตัน เซอร์เกวิช โพเรตสกี้