Open Access. Powered by Scholars. Published by Universities.®
Articles 1 - 2 of 2
Full-Text Articles in Computer Engineering
Reconstructing An Open Order From Its Closure, With Applications To Space-Time Physics And To Logic, Francisco Zapata, Vladik Kreinovich
Reconstructing An Open Order From Its Closure, With Applications To Space-Time Physics And To Logic, Francisco Zapata, Vladik Kreinovich
Departmental Technical Reports (CS)
Designing, Understanding, And Analyzing Unconventional Computation: The Important Role Of Logic And Constructive Mathematics, Vladik Kreinovich
Designing, Understanding, And Analyzing Unconventional Computation: The Important Role Of Logic And Constructive Mathematics, Vladik Kreinovich
Departmental Technical Reports (CS)
In this paper, we explain why, in our opinion, logic and constructive mathematics are playing -- and should play -- an important role in the design, understanding, and analysis of unconventional computation.