Pertanyaan ini diilhami oleh pertanyaan serupa tentang matematika terapan pada aliran matematika, dan pemikiran itu mengomentari bahwa pertanyaan penting TCS seperti P vs. NP mungkin independen dari ZFC (atau sistem lain). Sebagai sedikit latar belakang, matematika terbalik adalah proyek untuk...