Knots, Braids and First Order Logic

Siddhartha Gadgil, T. V. H. Prathamesh

Determining when two knots are equivalent (more precisely isotopic) is a fundamental problem in topology. Here we formulate this problem in terms of Predicate Calculus, using the f…