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

כאן נולדו מדעי המחשב!

פוסטים:

• Apr 14, 2014

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

• Sep 4, 2012

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

• Aug 27, 2012

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

• Jun 23, 2012

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

• May 18, 2011

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

• Apr 23, 2011

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

• Apr 21, 2011

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

• Aug 16, 2010

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

• Nov 27, 2009

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

• Sep 10, 2009

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

• Aug 30, 2009

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

• May 10, 2009

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

• Nov 26, 2008

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

• Oct 23, 2007

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

• Oct 17, 2007

  השארת הרצף

• Oct 9, 2007

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

• Oct 6, 2007

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

• Sep 27, 2007

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

• Sep 26, 2007

  בעיית העצירה

• Sep 24, 2007

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

• Sep 23, 2007

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

• Sep 20, 2007

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

• Sep 18, 2007

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

• Sep 15, 2007

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

• Sep 14, 2007

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

• Jun 28, 2007

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