إذا بدأ المتعلم بدراسة نظرية الحوسبة computation theory للتعرف على أنماط الحوسبة بدءا من الأوتوماتا النهائية deterministic finite automata واللغات الصورية التي تستطيع هذه الآلة التعرف عليها ثم الإنتقال للpumping lemma ثم آلة تورينغ ومعرفة اللغات التي يتعرف عليها كل نموذج من النماذج السابقة، ومعرفة تلك التي يستطيع البت فيها، للتعرف على مفهوم البرمجة ومفهوم إمكانية التعرف formal language recognition ومفهوم إمكانية الحسم في وقت نهائي the problem of deciding in finite amount of time ، من ثم فهم أن

من الفلاسفة الذين أهتممت بهم في أخر سنتين فيلسوف العلم الأرجنتيني ماريو بونخي، له مؤلفات عديدة باللغة الإنجليزية لكن من أبرز ما قرأت له كتاب مطاردة الواقع، قد قرأته مرتين في الحقيقة ولدي نية لقرأته في مطلع هذه السنة، كتاب رائع وفاتح لهذا الفيلسوف الموسوعي، خاصة أنه كتبه في أخريات سنين عمره، لديه مؤلفات ضخمة تترواح من فلسفة العلوم الطبيعية -كان عالم فيزياءبالأساس ثم أصبحت الفلسفة مجال تأليفه الرئيسي - وفلسفة العلوم الإجتماعية بل لديه كتابات في العلوم الصحية مثل