คำถามติดแท็ก code-golf

Code-golf เป็นการแข่งขันเพื่อแก้ไขปัญหาเฉพาะในส่วนที่น้อยที่สุดของซอร์สโค้ด

18
การรวมผลรวมของผลิตภัณฑ์ดิจิตอลซ้ำกันอย่างต่อเนื่อง
ป.ร. ให้ไว้เป็นจำนวนเต็มบวกn( ตัวอย่าง:n=1234444999 ) แยกเป็นการวิ่งหลักที่ต่อเนื่องกัน: [1, 2, 3, 4444, 999] ใช้ผลิตภัณฑ์ดิจิตอลของการทำงานแต่ละครั้ง [1, 2, 3, 4*4*4*4, 9*9*9] = [1, 2, 3, 256, 729] รวมมัน ... 991 ทำซ้ำจนกระทั่งสิ่งนี้รวมเป็นตัวเลขเดียว: 1234444999 991 82 10 1 ส่งคืนหมายเลขสุดท้าย กรณีทดสอบ BASE CASES: 0 = 0 ... 9 = 9 OTHER CASES: 1234444999 = 1 222222222222222 = 8 …

3
อ้างคำพูดของฉัน!
คำพูดคือ "การทำซ้ำของหนึ่งในการแสดงออกเป็นส่วนหนึ่งของอีกคนหนึ่ง" ในภาษาอังกฤษแบบอเมริกันคำพูดถูกล้อมรอบด้วยเครื่องหมายอัญประกาศคู่ (") เช่นเดียวกับในประโยคก่อนหน้าอย่างไรก็ตามกฎนี้แตกต่างกันเมื่อคำพูดปรากฏขึ้นภายในเครื่องหมายคำพูดอื่นในกรณีนี้คำพูดภายในจะถูกล้อมรอบด้วยเครื่องหมายคำพูดเดี่ยว ( ') ท้าทาย รับสตริงเป็นอินพุตเอาต์พุตเวอร์ชันที่สามารถอ้างอิงได้ของสตริงนั้นโดยการแลกเปลี่ยนเครื่องหมายอัญประกาศคู่และเดี่ยวที่ใช้สำหรับอัญประกาศด้านใน มีเพียงหนึ่ง catch แต่ - ไม่ใช่เครื่องหมายคำพูดเดียวที่ใช้สำหรับใบเสนอราคา! สำหรับความท้าทายนี้จะใช้เครื่องหมายอัญประกาศเดี่ยวสำหรับใบเสนอราคาหาก: เครื่องหมายถูกนำหน้าด้วยอักขระที่ไม่ใช่ตัวอักษรและตัวเลขหรือ เครื่องหมายจะตามด้วยอักขระที่ไม่ใช่ตัวอักษรและตัวเลขที่ไม่ใช่ช่องว่าง เครื่องหมายที่ใช้สำหรับใบเสนอราคารับประกันว่าจะสมดุล นั่นคือคุณไม่จำเป็นต้องจัดการอินพุตที่ไม่ถูกต้อง นอกจากนี้เครื่องหมายอัญประกาศคู่จะถูกใช้เฉพาะในสถานการณ์ที่สามารถใช้เครื่องหมายอัญประกาศเดี่ยวเพื่อใช้แทนการเสนอราคาได้ กรณีทดสอบ A man, a plan, a canal, Panama. "A man, a plan, a canal, Panama." Socrates once said, "An unexamined life is not worth living." "Socrates once said, 'An unexamined …

16
ไซต์นี้ล่มหรือเป็นแค่ฉันหรือเปล่า
ท้าทาย ความท้าทายนั้นง่ายมากโดยใช้http://isup.meเพื่อตรวจสอบว่าเว็บไซต์ที่ป้อนเข้านั้นขึ้นหรือลง หากไซต์นั้นขึ้นคุณควรส่งคืนค่าความจริงและหากไซต์นั้นล้มเหลวคุณควรส่งคืนค่าเท็จ กฎระเบียบ การป้อนข้อมูลจะเป็นที่อยู่เว็บเช่นหรือstackexchange.com google.co.ukการป้อนข้อมูลที่ไม่เคยจะมีhttp://, https://ฯลฯ ในช่วงเริ่มต้นของสตริง แต่อาจจะมีwww.หรือcodegolf.ที่เริ่มต้น ฯลฯ คุณควรใช้ไซต์isup.me/URLที่ URL เป็นอินพุต เมื่อไซต์เสร็จสิ้นจะมีลักษณะดังนี้: http://isup.me/codegolf.stackexchange.com หากไซต์ไม่ทำงานเว็บไซต์จะมีลักษณะดังนี้: http://isup.me/does.not.exist ตัวย่อ URL ไม่ได้รับอนุญาตนอกเหนือจาก isup.me ตัวอย่างอินพุต อาจเป็นไปได้ (ขึ้นอยู่กับสถานการณ์ปัจจุบัน): google.de codegolf.stackexchange.com worldbuilding.meta.stackexchange.com tio.run store.nascar.com isup.me จะลง: made.up.com fake.com.us why.why.why.delilah store.antarcticrhubarbassociation.an การชนะ รหัสที่สั้นที่สุดในหน่วยไบต์ชนะ

10
ฉันเป็นรถแท็กซี่รองหรือไม่
พื้นหลัง หมายเลข Ramanujan ปี 1729 เรียกว่าหมายเลขแท็กซี่ - แท็กซี่เนื่องจากเรื่องราว (อาจเป็นหลักฐาน) ของ Hardy ขึ้นรถแท็กซี่เพื่อเยี่ยมชม Ramanujan ในโรงพยาบาลที่มีหมายเลขนี้ซึ่งดูเหมือนจะไม่สุภาพกับเขา มันเป็นที่รู้จักกันในชื่อที่โด่งดังที่สุดในชั้นเรียนของจำนวนเต็มที่เรียกว่า "หมายเลขรถแท็กซี่" ซึ่งแสดงให้เห็นว่าเป็นผลรวมของพลังสอง nth (ของจำนวนเต็มบวก) ในสองวิธี (หรือบางครั้ง 'k') ค.ศ. 1729 เป็นจำนวนธรรมชาติที่เล็กที่สุดที่สามารถบอกได้ว่าเป็นผลรวมของ 2 ลูกบาศก์ใน 2 วิธีที่แตกต่างกันทำให้เป็นหมายเลขรถแท็กซี่ "3,2" ตัวแรก ("n, k" โดยทั่วไป) ท้าทาย ให้ตัวเลขตัดสินใจว่ามันเป็น "3,2" 'หมายเลขรถแท็กซี่รอง' - หมายถึงมันตอบสนองข้อ จำกัด เช่นเดียวกับ 1729 (2 ผลรวมของก้อนที่ไม่ซ้ำกัน) แต่ไม่จำเป็นต้องเป็นจำนวนเต็มที่น้อยที่สุดของ "3 ชั้น 2 "(แน่นอนว่าเป็นปี …

8
ค้นหา Anagrams ทั้งหมดและ Subanagrams ด้วย!
คำถามนี้เป็นคำถามหนักขึ้นปิดคำถามนี้แต่ควรก่อให้เกิดจำนวนของปัญหาเพิ่มเติม งานของคุณ คุณต้องเขียนโปรแกรมหรือฟังก์ชั่นที่เมื่อได้รับสตริงให้พิมพ์แอนนาแกรมที่เป็นไปได้ทั้งหมด สำหรับจุดประสงค์ของคำถามนี้แอนนาแกรมคือสตริงที่มีอักขระเหมือนกับสตริงดั้งเดิม แต่ไม่ใช่สตริงดั้งเดิม Subanagram เป็นแอนนาแกรมของสตริงย่อยของสตริงที่ป้อนเข้า แอนนาแกรมและกราฟย่อยไม่จำเป็นต้องเป็นหรือมีคำที่แท้จริง อินพุต คุณอาจยอมรับสตริงซึ่งอาจมีความยาวใด ๆ > 0 โดยวิธีการอินพุตมาตรฐาน มันอาจมีอักขระ ASCII ใด ๆ เอาท์พุต คุณสามารถส่งออกแอนนาแกรมและกราฟย่อยที่เป็นไปได้ทั้งหมดของสตริงที่ป้อนเข้าด้วยวิธีมาตรฐาน คุณต้องไม่ส่งออกสตริงเดียวกันสองครั้งหรือส่งออกสตริงเท่ากับอินพุต กฎอื่น ๆ ช่องโหว่มาตรฐานไม่ได้รับอนุญาต เกณฑ์การให้คะแนน นี่คือโค้ดกอล์ฟอย่างน้อยไบต์ชนะ

3
อ่านรหัสผ่าน: บนมือถือ!
ต้องขอบคุณความท้าทายล่าสุดของ MD XFเราสามารถอ่านรหัสผ่านในหลายภาษา ปัญหาคือตอนนี้เราจำเป็นต้องย้ายแอปพลิเคชันของเราไปยังอุปกรณ์มือถือและพวกเขาทำรายการรหัสผ่านแตกต่างกันเล็กน้อย ท้าทาย อ่านสตริงจากคีย์บอร์ด ทุกครั้งที่kป้อนตัวอักษรให้แสดงเป็นช่วงเวลาสั้น ๆ หลังจากช่วงเวลาที่ได้ผ่านการหรือผู้ใช้ป้อนตัวอักษรอีกแทนที่ด้วยตัวอักษรบางkc กฎระเบียบ cจะต้องคงที่; มันจะต้องเป็นตัวละครเดียวกัน c สามารถเป็นอักขระที่มองเห็นได้ (เช่นไม่สามารถขึ้นบรรทัดใหม่เว้นวรรคแท็บหรือไม่สามารถพิมพ์ได้) cไม่สามารถขึ้นอยู่กับการป้อนใด ๆk; cจะต้องกำหนด / ค่าคงที่ก่อนการkอ่านครั้งแรก c ต้องเหมือนกันทุกครั้งที่รันโปรแกรม cสามารถเป็นหนึ่งในค่าที่ให้ราวกับkว่าโดยบังเอิญตราบเท่าที่มีการปฏิบัติตามกฎอื่น คุณต้องพิมพ์kแบบเรียลไทม์ ทันทีที่ผู้ใช้ป้อนใหม่kคุณจะต้องแสดงทันที kควรจะมองเห็นให้กับผู้ใช้ก่อนที่จะถูกเปลี่ยนไปc; ช่วงเวลาจะต้องไม่น้อยกว่า 0.5 วินาที kควรถูกแทนที่ด้วยcภายในเวลาอันสมควร ช่วงเวลาต้องไม่เกิน 5 วินาที ทันทีที่ป้อนอักขระใหม่ไม่ว่าช่วงเวลานั้นจะหมดอายุหรือไม่คุณควรแทนที่kด้วยcและใช้รหัสที่ป้อนเป็นอักขระใหม่kทันที เป็นที่ยอมรับได้ในการล้างและวาดหน้าจอใหม่ทุกครั้งที่คุณต้องการเปลี่ยนอักขระ คุณสามารถใช้วิธีการอินพุตและเอาท์พุตที่สมเหตุสมผลได้หากมีการปฏิบัติตามกฎอื่น ๆ ทั้งหมด คุณอาจสมมติว่าจำนวนอักขระที่ป้อนเข้านั้นไม่เกินความกว้างของหน้าต่างเทอร์มินัล / กราฟิก หากใช้เทอร์มินัลโปรแกรมของคุณควรยุติหลังจากป้อนบรรทัดใหม่หรือถึง EOF โปรแกรมของคุณควรทำงานตามที่อธิบายไว้ที่นี่ทั้งในสภาพแวดล้อมมือถือและอื่น ๆ โปรแกรมของคุณอาจสมมติว่าอินพุตจะมีอักขระที่พิมพ์ได้เท่านั้น (ตัวอักษรตัวเลขสัญลักษณ์) และอาจขึ้นบรรทัดใหม่ (ไม่มี backspace …
13 code-golf  string 

4
ประเมินเสาพลังงานแบบแยกส่วน
ให้สองตัวเลข n และ m, ประเมินหอพลังอนันต์: n ^ (n + 1) ^ (n + 2) ^ (n + 3) ^ (n + 4) ^ ... mod m โปรดทราบว่า ^ มีความสัมพันธ์ที่ถูกต้อง ดังนั้น 2 ^ 3 ^ 4 = 2 ^ (3 ^ 4) ทีนี้คุณจะสามารถกำหนดค่าให้กับตัวดำเนินการเชื่อมโยงแบบไม่สิ้นสุดได้อย่างไร กำหนด f (n, m, i) เป็นหอส่งกำลังไฟฟ้าที่บรรจุเทอมแรกของหอส่งกำลังไม่มีที่สิ้นสุด จากนั้นก็มีค่าคงที่ C …

1
Github Messenger
เป้าหมาย:เป้าหมายนี้เพื่อรับสตริงและแสดงจำนวนผลงานที่ควรทำในวันใดเพื่อแสดงข้อความ สเปค อินพุต ตัวอักษรสนับสนุนบวกช่องว่าง (เช่น[A-Za-z ]) พื้นที่ว่างเปล่า 3X7 ตัวอักษรถูกกำหนดไว้ในฟอนต์5x7 DOT Matrix ที่จัดไว้ให้ด้านล่าง ขนาดของตัวอักษรแต่ละตัวเป็นรูปสี่เหลี่ยมผืนผ้า bounding ขั้นต่ำ (เช่นl = 3x7, e = 5x5) การระบายสี มี 5 สี C0, C1, C2, C3, C4 CXต้องYมีส่วนร่วมกับ3X <= y < 3(X+1) ตัวอักษรควรสลับระหว่างC1และC2 ช่องว่างไม่มีสี ขนาดตัวอักษรแต่ละตัวควรทับซ้อนกัน 1 คอลัมน์ด้วยตัวอักษรที่อยู่ติดกัน หากเซลล์มีมากกว่า 1 สีให้ใช้ C3 เมทริกซ์ดอท ดอทเมทริกซ์เป็นกราฟประวัติผลงานของ Github หากวันนี้เป็นวันจันทร์ที่ 1 พฤษภาคม …
13 code-golf  date 

7
Transmogrifier รหัส C เก่า *
* เครื่องส่งสัญญาณคืออะไร? ในภาษาการเขียนโปรแกรม Cมีการก่อตัวที่เรียกว่าdigraphs และ trigraphsซึ่งเป็นลำดับอักขระสองและสามตัวที่ประเมินเป็นอักขระทั่วไปน้อยลง ตัวอย่างเช่นคุณสามารถใช้ถ้าแป้นพิมพ์ของคุณไม่มี??-~ ข้อความที่กำหนดให้แทนที่อินสแตนซ์ทั้งหมดของ digraphs และ trigraphs ต่อไปนี้ (ด้านซ้าย) ด้วยอักขระที่ถูกต้องสั้นลง golfed (ด้านขวา) ??= # ??/ \ ??' ^ ??( [ ??) ] ??! | ??< { ??> } ??- ~ <: [ :> ] <% { %> } %: # แหล่ง อินพุต อินพุตเป็นข้อความ ASCII ขึ้นบรรทัดใหม่ที่ได้รับอนุญาต ไม่จำเป็นต้องเป็นรหัส …
13 code-golf  string 

2
ซูมเข้าแผนที่
งานของคุณคือกำหนดแผนที่เป็นอินพุทซูมออกหรือซูมเข้าขึ้นอยู่กับสเกล โปรดทราบว่าสเกลที่กำหนดคือสเกลที่จะซูมออกดังนั้นสเกลระหว่าง 0 ถึง 1 จะซูมเข้าจริง ตัวอย่างเช่นให้แผนที่ต่อไปนี้ (ทำไม่ดี): ..____.... ../OOO\... ..\OO/\... .......... และสเกลแฟกเตอร์ของ 2 คุณควรแยกมันออกเป็นส่วน 2x2 ก่อน: .. | __ | __ | .. | .. .. | /O | OO | \. | .. ---------------------- .. | \O | O/ | \. | .. .. | .. | .. …
13 code-golf  string 

25
ผลรวมบางส่วนของ Harmonic Sequence!
คำนิยาม ในวิชาคณิตศาสตร์Harmonic Sequenceหมายถึงลำดับที่ เช่นn THระยะของลำดับเท่ากับซึ่งกันและกันของn บทนำ ในความท้าทายนี้รับจำนวนเต็มบวกnเป็นอินพุตเอาต์พุตผลรวมบางส่วนของคำแรกnของ Harmonic Sequence อินพุต คุณจะได้รับจำนวนเต็มบวก (ภายในช่วงของตัวเลขที่รองรับโดยภาษาของคุณ) สามารถเป็นได้ทั้งที่ลงชื่อและไม่ได้ลงชื่อ (ขึ้นอยู่กับคุณ) เนื่องจากความท้าทายต้องใช้จำนวนเต็มบวกเท่านั้น คุณสามารถรับอินพุตในลักษณะใดก็ได้ยกเว้นสมมติว่ามีอยู่ในตัวแปรที่กำหนดไว้ล่วงหน้า อนุญาตให้อ่านจากไฟล์เทอร์มินัลหน้าต่าง modal ( prompt()ใน JavaScript) เป็นต้น อนุญาตให้ป้อนค่าเป็นอาร์กิวเมนต์ของฟังก์ชันได้เช่นกัน เอาท์พุต โปรแกรมของคุณควรแสดงผลรวมของคำศัพท์แรกของnของ Harmonic Sequence เป็นทศนิยม (หรือจำนวนเต็มถ้าผลลัพธ์หารด้วย 1 อย่างสม่ำเสมอ) ด้วยความแม่นยำของตัวเลข 5 ตัวที่สำคัญโดยที่nอ้างถึงอินพุต ในการถ่ายทอดสิ่งเดียวกันในศัพท์แสงคณิตศาสตร์คุณต้องคำนวณ โดยที่nหมายถึงอินพุต คุณสามารถส่งออกในทางใดทางหนึ่งยกเว้นการเขียนผลลัพธ์ไปยังตัวแปร อนุญาตให้เขียนไปที่หน้าจอเทอร์มินัลไฟล์หน้าต่างโมดอล ( alert()ใน JavaScript) เป็นต้น returnอนุญาตให้ส่งออกเป็นค่าฟังก์ชันได้เช่นกัน กฎเพิ่มเติม หมายเลขอินพุตสามารถเป็น 0 หรือดัชนีอย่างใดอย่างหนึ่ง คุณต้องระบุในโพสต์ของคุณ คุณไม่ต้องใช้ตัวในการคำนวณผลรวมบางส่วนแรกnองค์ประกอบ (ใช่สำหรับคุณ …

13
ใช้ Fibonacci-quine
ควินเป็นโปรแกรมที่เอาท์พุทแหล่งที่มาของมันเมื่อวิ่ง ในการท้าทายนี้คุณควรสร้าง Fibonacci-quine ซึ่งเป็นตัวแปรของควิน Fibonacci-quine คืออะไร Fibonacci-quine เป็นโปรแกรมที่ให้ผลลัพธ์ของการดัดแปลงแหล่งข้อมูลตามกฎต่อไปนี้: ...2...แหล่งที่มาเริ่มต้นที่ควรจะเป็น ในคำอื่น ๆ 2ที่มาควรมี (เพราะเหตุใด 2 ถ้าเป็น 1 ไม่มีใครจะรู้ว่ามันเป็น 1 หรือสองแรกแม้แต่โปรแกรมเอง) เมื่อทำงานคุณควรส่งออกแหล่งที่มา แต่เพียงจำนวนที่เฉพาะเจาะจง (ในขั้นตอนนี้2) เปลี่ยนไปเป็นจำนวนต่อไปของ fibonacci ลำดับ ตัวอย่างเช่น...3.... กันไปสำหรับเอาท์พุทและเอาท์พุทของเอาท์พุท ฯลฯ คุณอาจรองรับจำนวนเต็มได้ถึง 2 ^ 32-1 สำหรับจำนวนเต็มที่เกินขีด จำกัด นั้นเอาต์พุตถัดไปจะเป็นตัวเลือกของคุณ หมายเหตุของ OP ฉันอยากเห็นโซลูชันที่สร้างสรรค์สำหรับสิ่งนี้ ฉันไม่สามารถคิดวิธีแก้ปัญหาเดียวสำหรับเรื่องนี้เนื่องจากทั้งสองแง่มุมที่สำคัญของความท้าทายฟีโบนักชีและควินินนั้นไม่ใช่เรื่องง่าย ฉันจะรอแล้ว!

30
องค์ประกอบของสตริงที่ดัชนีที่ระบุ
กำหนดสตริงsและจำนวนที่ไม่ใช่เชิงลบnน้อยกว่าความยาวของsการส่งออกของตัวละครที่ตำแหน่งของn -ths 0-indexing และ 1-indexing ได้รับอนุญาต สำหรับ 1 การจัดทำดัชนีจะเป็นบวกและน้อยกว่าหรือเท่ากับความยาวของns s จะประกอบด้วยอักขระที่พิมพ์ได้เท่านั้น อนุญาตอินพุต / เอาท์พุตที่สมเหตุสมผล ช่องโหว่มาตรฐานใช้ ทดสอบ (ดัชนี 0): n s output 0 "abcde" a 1 "abcde" b 2 "a != b" ! 3 "+-*/" / 4 "314159" 5 ทดสอบ (ดัชนี 1): n s output 1 "abcde" a 2 "abcde" b …
13 code-golf  string 

7
ค้นหาชุดของการจับคู่ขอบสูงสุด
พิจารณากราฟที่ไม่ได้ทำการเชื่อมต่อ ชุดการจับคู่ของขอบบนกราฟนี้ถูกกำหนดให้เป็นชุดของขอบเช่นว่าไม่มีสองขอบในส่วนแบ่งชุดจุดสุดยอดที่พบบ่อย ตัวอย่างเช่นรูปด้านซ้ายแสดงชุดการจับคู่เป็นสีเขียวในขณะที่รูปขวาแสดงถึงชุดการจับคู่ที่ไม่ใช่สีแดง มีการกล่าวถึงชุดการจับคู่maximally matchingหรือmaximal matchingถ้าไม่สามารถเพิ่มขอบของกราฟลงในชุดการจับคู่ได้ ดังนั้นทั้งสองตัวอย่างข้างต้นไม่ใช่ชุดการจับคู่สูงสุด แต่ชุดทั้งสองด้านล่างเป็นสีน้ำเงินเป็นการจับคู่สูงสุด โปรดทราบว่าการจับคู่สูงสุดไม่จำเป็นต้องซ้ำกัน นอกจากนี้ยังไม่มีข้อกำหนดว่าขนาดของการจับคู่สูงสุดที่เป็นไปได้สำหรับกราฟนั้นเท่ากับการจับคู่อื่น เป้าหมายของความท้าทายนี้คือการเขียนโปรแกรม / ฟังก์ชั่นเพื่อค้นหาการจับคู่สูงสุดของกราฟ อินพุต สมมติว่าจุดยอดทั้งหมดของกราฟป้อนข้อมูลมีจำนวนเต็มต่อเนื่องเริ่มต้นที่ค่าจำนวนเต็มเริ่มต้นที่คุณเลือก ขอบถูกอธิบายโดยคู่เลขจำนวนเต็มที่ไม่เรียงลำดับซึ่งหมายถึงจุดยอดที่ขอบเชื่อมต่อ ตัวอย่างเช่นกราฟที่แสดงด้านบนสามารถอธิบายได้ด้วยชุดของขอบที่ไม่เรียงลำดับดังต่อไปนี้ (สมมติว่าจำนวนของจุดยอดเริ่มต้นที่ 0): [(0,1), (0,2), (1,3), (1,4), (2,3), (3,4), (3,5), (5,6)] อีกทางเลือกหนึ่งในการอธิบายกราฟคือผ่านรายการ adjacency นี่คือตัวอย่างของรายการ adjacency สำหรับกราฟด้านบน: [0:(1,2), 1:(0,3,4), 2:(0,3), 3:(1,2,4,5), 4:(1,3), 5:(3,6), 6:(5)] โปรแกรม / ฟังก์ชั่นของคุณจะต้องใช้กราฟอินพุตจากแหล่งใด ๆ (stdio, พารามิเตอร์ฟังก์ชั่น ฯลฯ ) คุณสามารถใช้สัญลักษณ์ใดก็ได้ที่ต้องการตราบใดที่ไม่มีการสื่อสารข้อมูลที่ไม่สำคัญเพิ่มเติมกับโปรแกรมของคุณ ตัวอย่างเช่นการมีพารามิเตอร์พิเศษเพื่อแสดงว่าจำนวนของขอบอินพุตนั้นเป็นที่ยอมรับได้อย่างสมบูรณ์ ในทำนองเดียวกันการส่งผ่านหลายเซ็ตของขอบรายการคำนำหรือเมทริกซ์ …

1
ช่วยGödelด้วยฟังก์ชั่น [ของเขา [ปิด]
ปิด คำถามนี้ต้องการรายละเอียดหรือความคมชัด ไม่ยอมรับคำตอบในขณะนี้ ต้องการปรับปรุงคำถามนี้หรือไม่ เพิ่มรายละเอียดและชี้แจงปัญหาโดยแก้ไขโพสต์นี้ ปิดให้บริการใน2 ปีที่ผ่านมา ฟังก์ชันöของGödelใช้ตัวเลขธรรมชาติสามตัวเป็นอาร์กิวเมนต์ มันถูกกำหนดให้เป็น β(x,y,z) = rem(x, 1 + (z + 1) · y) = rem(x, (z · y + y + 1) ) โดยที่ rem (a, b) หมายถึงส่วนที่เหลือหลังจากการหารจำนวนเต็มของ a โดย b βเล็มม่ากล่าวว่า: สำหรับลำดับตัวเลขธรรมชาติใด ๆ (k_0, k_1, …, k_n) มีจำนวนธรรมชาติ b และ c เช่นนั้นสำหรับทุก ๆ …

โดยการใช้ไซต์ของเรา หมายความว่าคุณได้อ่านและทำความเข้าใจนโยบายคุกกี้และนโยบายความเป็นส่วนตัวของเราแล้ว
Licensed under cc by-sa 3.0 with attribution required.