چند معماى منطقى
دوم ارديبهشتماه 1390
اين برنامه به چند معماى منطقى از كتاب FOREVER UNDECIDED نوشته ريموند اسموليان مى پردازد. در اين كتاب اسموليان با استفاده از معماهاى منطقى به قضيه هاى ناتمامى گودل – قضيه هايى بسيار اساسى در مبانى رياضيات – مى پردازد.