Mohammad-Reza Ghods

Computational Realization of Representational Scientific Discovery

A formally complete bounded representational space may contain every candidate expression permitted by a specified encoding, but explicit enumeration of such a space rapidly becomes computationally infeasible. This paper examines the computational and technological requirements f...

Scientific Discovery in Representational Space

Scientific theories are ordinarily understood as being constructed, derived, or formulated before they can be subjected to scientific validation. This paper examines an alternative formulation of the candidate-generation problem based on bounded representational spaces. For a fin...