Culture Arena
فارسی
- English
- فارسی
نیوزیلند · اطلاعات عمومی · سخت
کدام منطقدان و فیلسوف نیوزیلندیتبار، بنیانگذار منطق زمانی، در دانشگاه کانتربری و بعدها در آکسفورد تدریس کرد و از طریق کارش بر منطق زمان و دستور زبان، بر علوم کامپیوتر تأثیر گذاشت؟
Answer: آرتور پرایور — آرتور پرایور (۱۹۱۴-۱۹۶۹) از مسترتون منطق زمان را ابداع کرد، یک نظام صوری برای استدلال دربارهٔ زمان که پیامدهای عمیقی برای فلسفه، زبانشناسی و مبانی علوم کامپیوتر داشته است.
- A کارل پوپر
- B جان فیندلی
- C جک کوپلند
- D آرتور پرایور ✓
آرتور پرایور (۱۹۱۴-۱۹۶۹) از مسترتون منطق زمان را ابداع کرد، یک نظام صوری برای استدلال دربارهٔ زمان که پیامدهای عمیقی برای فلسفه، زبانشناسی و مبانی علوم کامپیوتر داشته است.