קטגוריה: חישוביות

26 פוסטים

• 2014-04-14

  פוסט של בעיית ההתאמה של פוסט

• 2012-09-04

  הבעיה העשירית של הילברט - פונקציות דיופנטיות וחיות אחרות (רקורסיביות)

• 2012-08-27

  הבעיה העשירית של הילברט - מבוא

• 2012-06-23

  יום הולדת 100 לאלן טיורינג!

• 2011-05-18

  משפט רייס - הגרסה המלאה

• 2011-04-23

  המותר האדם מן האלגוריתם, חלק 2 - הנקמה?

• 2011-04-21

  המותר האדם מן האלגוריתם?

• 2010-08-16

  אז מדוע קשה להוכיח ש-P שונה מ-NP? (בלכסון)

• 2009-11-27

  הפוסט שיודע להדפיס את עצמו

• 2009-09-10

  אז מה הקשר בין אוטומטים ופונקציות יוצרות?

• 2009-08-30

  אוטומטים סופיים ושפות רגולריות

• 2009-05-10

  משפט אי השלמות הראשון של גדל - איך (בערך) מוכיחים אותו?

• 2008-11-26

  הפוסט המעניין ביותר שלא ניתן לתאר בכותרת שלו

• 2007-10-23

  האם מכונות טיורינג חולמות על ריצופים של רבע המישור?

• 2007-10-17

  השארת הרצף

• 2007-10-09

  על הבעייה הלא טריוויאלית של זיהוי תכונה לא טריוויאלית

• 2007-10-06

  ומה הקשר של בעיית העצירה לאלכסון של קנטור?

• 2007-09-27

  הוכחת בעיית העצירה - המכונה הזדונית נגד אליהו הנביא (ואיך זה קשור לפרדוקס ניוקומב ולתוכנות שמדפיסות את הקוד של עצמן)

• 2007-09-26

  בעיית העצירה

• 2007-09-24

  עוד מכונות מופלאות

• 2007-09-23

  המכונה המופלאה

• 2007-09-20

  על תורה העומדת על כריעות תרנגולת

• 2007-09-18

  אל R מ-RE: מניה רקורסיבית באינסוף צעדים

• 2007-09-15

  אלגוריתם סופי דטרמיניסטי (או: מה זה בכלל?)

• 2007-09-14

  על משוואות דיופנטיות ושאר בעיות שהשוליים הללו צרים מלהכיל

• 2007-06-28

  הקיים הנעלם - הדוגמה הרמאית

← חזרה לכל הקטגוריות