คำถามติดแท็ก history

มีความพยายามมากมายในการพิสูจน์หรือและโดยธรรมชาติแล้วหลายคนคิดเกี่ยวกับคำถามP ≠ N PP=NPP=NP\mathsf{P} = \mathsf{NP} P≠NPP≠NP\mathsf{P} \neq \mathsf{NP} ฉันรู้ว่ามีวิธีการที่พิสูจน์แล้วว่าไม่ได้ผลและอาจมีมากกว่านั้นที่มีประวัติความล้มเหลว ดูเหมือนจะมีอุปสรรคที่เรียกว่าการพิสูจน์หลายอย่างล้มเหลวในการเอาชนะ เราต้องการหลีกเลี่ยงการตรวจสอบถึงจุดจบดังนั้นอะไรคืออะไร

96 complexity-theory  reference-request  history  p-vs-np  reference-question 

เมื่อไม่นานมานี้ฉันได้อ่านเกี่ยวกับแคลคูลัสแลมบ์ดา แต่ฉันไม่สามารถหาคำอธิบายได้ว่าทำไมมันจึงเรียกว่า "แลมบ์ดา" หรือที่มาของนิพจน์ มีใครอธิบายต้นกำเนิดของคำศัพท์นี้ได้บ้าง

73 terminology  computation-models  lambda-calculus  history 

ในขณะที่กำลังพูดถึงหัวข้อระดับอินโทรในวันนี้รวมถึงการใช้อัลกอริทึมทางพันธุกรรม ฉันบอกว่าการวิจัยชะลอตัวลงในสาขานี้ เหตุผลที่กำหนดคือคนส่วนใหญ่มุ่งเน้นไปที่การเรียนรู้ของเครื่องและการทำเหมืองข้อมูล อัปเดต:ถูกต้องหรือไม่ และถ้าเป็นเช่นนั้น ML / DM มีข้อได้เปรียบอะไรบ้างเมื่อเทียบกับ GA

45 machine-learning  data-mining  evolutionary-computing  history 

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

39 terminology  history 

ฉันเพิ่งเสร็จสิ้นบทแรกของบทนำสู่ทฤษฎีการคำนวณโดยMichael Sipserซึ่งอธิบายพื้นฐานของขอบเขตออโตมาตา เขากำหนดภาษาปกติเป็นสิ่งที่สามารถอธิบายได้ด้วยออโต้ จำกัด แต่ฉันไม่สามารถหาที่ที่เขาอธิบายได้ว่าทำไมภาษาปกติเรียกว่า "ปกติ" อะไรคือต้นกำเนิดของคำว่า "ปกติ" ในบริบทนี้ หมายเหตุ: ฉันเป็นสามเณรดังนั้นโปรดลองอธิบายอย่างง่าย ๆ !

31 formal-languages  regular-languages  terminology  finite-automata  history 

โดยพื้นฐานฉันรู้พื้นฐานสามประการเกี่ยวกับคณิตศาสตร์ ทฤษฎีเซต ทฤษฎีประเภท ทฤษฎีหมวดหมู่ ดังนั้นการเขียนโปรแกรมภาษาและรากฐานของคณิตศาสตร์ในทางใดบ้าง? แก้ไข คำถามเดิมคือ "ภาษาการเขียนโปรแกรมตามรากฐานของคณิตศาสตร์" กับ paragarph เพิ่มของ และการประยุกต์ใช้ทฤษฎี 1. ทฤษฎีประเภทในCoq 2. ตั้งทฤษฎีในSETL 3. ทฤษฎีหมวดหมู่ในHaskell ตามคำแนะนำนี้ถูกเปลี่ยนเป็น "ภาษาการเขียนโปรแกรมและพื้นฐานทางคณิตศาสตร์เกี่ยวข้องอย่างไร" เนื่องจากนี่เป็นหนึ่งในคำถามเหล่านั้นที่ฉันไม่รู้เกี่ยวกับสิ่งที่ฉันถาม แต่ต้องการเรียนรู้บางอย่างฉันจึงแก้ไขคำถามเพื่อให้มีค่ามากขึ้นสำหรับการเรียนรู้และอื่น ๆ แต่ยังทิ้งรายละเอียดไว้เพื่อไม่ให้คำตอบปัจจุบันโดย Andrej Bauer ดูเหมือนปิดหัวข้อ ขอบคุณสำหรับความคิดเห็นทั้งหมดและคำตอบจนถึงตอนนี้ฉันกำลังเรียนรู้จากพวกเขา

30 programming-languages  history  type-theory  category-theory 

เราส่วนใหญ่เขียนโปรแกรมด้วยภาษาระดับสูง ดังนั้นในขณะที่เรียนฉันเจอภาษาแอสเซมบลี ดังนั้นแอสเซมเบลอร์จะแปลงภาษาแอสเซมบลีเป็นภาษาเครื่องและคอมไพเลอร์ก็ทำเช่นเดียวกันกับภาษาระดับสูง ฉันพบว่าภาษาแอสเซมบลีมีคำแนะนำเช่น move r1 r3, ย้าย 5 เป็นต้นและมันค่อนข้างยากที่จะศึกษา เหตุใดภาษาแอสเซมบลีจึงถูกสร้างขึ้นหรือเป็นภาษาที่มาก่อนภาษาระดับสูง ทำไมฉันถึงเรียนเกี่ยวกับแอสเซมเบลอร์ในชั้นเรียนวิศวกรรมคอมพิวเตอร์ของฉัน

27 programming-languages  education  history 

ในทฤษฎีการคำนวณฟังก์ชันการคำนวณก็เรียกว่าฟังก์ชันแบบเรียกซ้ำ อย่างน้อยแรกพบพวกเขาไม่มีอะไรเหมือนกันกับสิ่งที่คุณเรียกว่า "recursive" ในการเขียนโปรแกรมแบบวันต่อวัน (เช่นฟังก์ชั่นที่เรียกพวกเขาเอง) ความหมายที่แท้จริงของการเกิดซ้ำในบริบทของการคำนวณคืออะไร? ทำไมฟังก์ชั่นเหล่านี้จึงเรียกว่า "เวียนเกิด"? หากต้องการกล่าวไว้ในคำอื่น ๆ : การเชื่อมต่อระหว่างสองความหมายของ "การเรียกซ้ำ" คืออะไร?

23 computability  terminology  history 

เมื่อ O ใหญ่ถูกใช้ครั้งแรกในวิทยาการคอมพิวเตอร์และเมื่อมันกลายเป็นมาตรฐาน? หน้าวิกิพีเดียเกี่ยวกับเรื่องนี้อ้างถึง Knuth, Big Omicron และ Big Omega และ Big Theta , SIGACT เมษายน - มิถุนายน 1976 แต่จุดเริ่มต้นของบทความนั้นอ่าน ส่วนมากของเรามีอากาศที่คุ้นเคยกับความคิดของการใช้สัญกรณ์ ยืนฟังก์ชั่นใด ๆ ที่มีความสำคัญเป็นบนขอบเขตโดยครั้งคงF ( n )สำหรับทุกขนาดใหญ่nต( f( n ) )O(ฉ(n))O(f(n))ฉ( n )ฉ(n)f(n)nnn คำพูดนี้แสดงให้เห็นว่าความคิดและสัญกรณ์นั้นมีการใช้งานทั่วไปอยู่แล้ว หน้า Wikipedia ยังอ้างถึงเอกสารทางคณิตศาสตร์จากปลายปี 1800 และต้นศตวรรษที่ 1900 แต่นั่นก็ไม่ได้ตอบคำถาม โดยเฉพาะอย่างยิ่งฉันได้ยินนักวิจัยที่อยู่แถวหลัง (ในยุค 60 และ 70 ไม่ใช่ช่วงปลายปี 1800) บอกว่าเมื่อมีการใช้การวิเคราะห์เชิงเส้นครั้งแรกบางคนผลักกลับบอกว่าเวลานาฬิกาแขวนเป็นตัวชี้วัดที่ดีกว่า อย่างไรก็ตามไม่มีใครที่ฉันได้พูดคุยเพื่ออ้างถึงเอกสารเฉพาะที่ได้รับการผลักดันเช่นนี้และฉันต้องการหาหลักฐานที่สามารถยืนยันหรือปฏิเสธเรื่องราวเหล่านี้

22 asymptotics  history 

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

19 terminology  reference-request  machine-learning  history 

ฉันมีคำถามประวัติเล็กน้อยคือตามที่ชื่อบอกว่าฉันกำลังมองหาการใช้ต้นไม้ในช่วงต้น (เช่นโครงสร้างข้อมูลต้นไม้ค้นหาอะไรก็ตาม) ในสาขาวิทยาศาสตร์คอมพิวเตอร์

18 data-structures  reference-request  trees  history 

มีการกล่าวกันว่า 'Eugene Goostman' โปรแกรมคอมพิวเตอร์ที่พัฒนาขึ้นเพื่อจำลองเด็กชายอายุ 13 ปีพยายามโน้มน้าวผู้พิพากษาร้อยละ 33 ว่าเป็นมนุษย์และผ่านการทดสอบทัวริง โปรแกรมคอมพิวเตอร์หรือที่รู้จักกันในชื่อ chatbot ถูกแกล้งทำเป็นเด็กชายชาวยูเครนอายุ 13 ปีซึ่งภาษาอังกฤษเป็นภาษาที่สองซึ่งมีความแตกต่างกันมาก สำหรับฉันแล้ว Eugene ฟังดูเหมือน chatbot ธรรมดา ๆ ควร: ซ้ำซากไร้สาระและเกลื่อนไปด้วยผู้ไม่เสแสร้ง ฉันไม่รู้ว่ามันทำให้ผู้พิพากษาตัดสินอย่างไร (ซึ่งดูไม่เป็นมืออาชีพ) หลายคนวิพากษ์วิจารณ์ยูจีนเหมือนศาสตราจารย์ Stevan Harnad ที่กล่าวว่า "มันไร้สาระ" และ "เราไม่ได้ผ่านการทดสอบของทัวริง ความคิดเห็นที่แตกต่างกัน แต่ฉันอยากจะรู้ว่ามันผ่านการทดสอบอย่างเป็นทางการ? มันก็ถูกกล่าวว่า: สองรางวัลแบบครั้งเดียวเท่านั้นที่ไม่เคยได้รับ 25K นั้นถูกนำเสนอสำหรับผู้พูดคุยคนแรกที่ผู้พิพากษาไม่สามารถแยกความแตกต่างจากมนุษย์จริงและสามารถโน้มน้าวผู้พิพากษาว่ามนุษย์เป็นโปรแกรมคอมพิวเตอร์ $ 100,000 เป็นรางวัลสำหรับนักแชตบ็อตคนแรกที่ผู้พิพากษาไม่สามารถแยกความแตกต่างจากมนุษย์จริงในการทดสอบทัวริงซึ่งรวมถึงการถอดรหัสและการทำความเข้าใจข้อความภาพและการรับฟัง การแข่งขันประจำปีจะสิ้นสุดลง หมายความว่ายูจีนได้รับรางวัล $ 25,000 หรือไม่?

18 reference-request  artificial-intelligence  history  turing-test 

นี่เป็นคำถามที่อ่อนนุ่ม ฉันไม่รู้เรื่องการเข้ารหัสหรือประวัติของมันมากนัก แต่ดูเหมือนว่าการใช้งานทั่วไปสำหรับ RSA คือการแลกเปลี่ยนคีย์โดยการเข้ารหัสคีย์สมมาตรเพื่อส่งข้อความที่ยาวขึ้น (เช่นคำอธิบายของ iMessage ที่นี่ ) นี่ไม่ใช่สิ่งที่การแลกเปลี่ยนคีย์ Diffie-Hellman ซึ่งเก่ากว่า (และสำหรับฉันดูเหมือนง่ายกว่า) นั้นใช่หรือไม่ เมื่อมองที่ Wikipedia พวกเขาทั้งสองได้รับการจดสิทธิบัตรดังนั้นสิ่งนี้จะไม่รับผิดชอบต่อการเลือก เพื่อความชัดเจนฉันไม่ได้ถามว่ามันมีความสำคัญทางทฤษฎีหรือไม่ที่การเข้ารหัสคีย์สาธารณะเป็นไปได้ ฉันถามว่าทำไมมันจึงกลายเป็นวิธีมาตรฐานในการฝึกเพื่อแลกเปลี่ยนคีย์ (สำหรับนักเขียนที่ไม่เข้ารหัส DH ดูจะง่ายกว่าในการนำไปใช้และยังไม่เชื่อมโยงกับรายละเอียดของกลุ่มที่ใช้)

16 cryptography  history 

ในเอกสารเผยแพร่ระบบน้ำเชื้อPart Time Parliament (The Paxos protocol), Leslie Lamport ตั้งชื่อสมาชิกสภานิติบัญญัติสวมซึ่งมีส่วนเกี่ยวข้องในพิธีสารรัฐสภา Paxon ตามที่เขียนนี้เขาบันทึกว่า: ฉันให้ชื่อนักวิทยาศาสตร์คอมพิวเตอร์แก่สภานิติบัญญัติกรีกซึ่งทำงานในสาขานี้โดยทับศัพท์ด้วยความช่วยเหลือของ Guibas ให้เป็นภาษากรีกปลอม ใครบ้างมีข้อมูลเกี่ยวกับนักวิทยาศาสตร์ที่สมาชิกสภานิติบัญญัติได้รับการตั้งชื่อ? รายชื่อสมาชิกสภานิติบัญญัติในเอกสารและนักวิทยาศาสตร์คอมพิวเตอร์ที่เกี่ยวข้องจะเป็นคำตอบที่เหมาะสมที่สุด ฉันคิดว่าผู้บัญญัติกฎหมายคนแรกที่กล่าวถึงในเอกสาร "Λινχ∂" ได้รับการตั้งชื่อตามแนนซี่ลินช์เนื่องจากอาจออกเสียงได้ว่า "Linch" นอกจากนี้ "ΛεωνίδαςΓκίμπας" จากบรรณานุกรมเป็นสิงห์ Guibas ฉันหลงทางอย่างสิ้นเชิงว่าตัวเองเป็นใคร

15 distributed-systems  history 

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

15 computability  turing-machines  history