James Owings

contemporaryAnalytic Philosophy / Mathematical Logic

James Owings is a contemporary mathematical logician known for work in computability theory and recursive function theory. His contributions include technical results concerning primitive recursive functions and their universal enumerations.

Notable Achievements

Contributed to the theory of primitive recursive functions

Published results on universal functions in recursion theory

Worked on problems in computability and mathematical logic

Positions & Arguments(1)

Modality & Possibility

claim

The universal function u_1(i,x) = g_i(x) for unary primitive recursive functions cannot itself be primitive recursive

Truth & Knowledge

claim

The universal function u_1(i,x) = g_i(x) for unary primitive recursive functions cannot itself be primitive recursive