Humanisme religius telah mengantarkan pada era kesadaran bahwa peradaban manusia harus memiliki dua arus yang saling menunjang. Selama ini arus balik dalam bidang ekonomi hanya menonjolkan arus balik vertikal atas kebawah (model top down) yang didominasi oleh sistem ekonomi kapitalis dan sosialis, sedangkan di sisi lain mengesampingkan arus balik vertikal dari bawah ke atas (model bottom up) yang didominasi oleh sistem ekonomi syariah, sehingga dampaknya adalah adanya kesenjangan ekonomi yang sangat tajam. Paper ini mewujudkan peran penting, yakni menghubungkan dua arus tersebut secara timbal-balik, yakni mempertemukan arus pertama dengan arus balik kedua, sehingga akan menghasilkan dampak yang positif, progresif, kreatif dan produktif, kemudian pada akhirnya akan dapat meng-optomal-kan ekonomi syariah untuk menciptakan goodgovernance, post goodgovernance secara berkelanjutan, tentunya dengan bantuan peran media kontemporer yang kian update. Ekonomi syariah juga merupakan pilar dan nilai dasar, dari sikap keyakinan dan sikap rasionalitas untuk sanggup menciptakan terwujudnya pemberdayaan dan kesejahteraan sekaligus pengentasan kemiskinan dalam masyarakat di Indonesia.
Cooperation between Top-Down and Bottom-Up Theorem Provers