amateur and hobby researcher in some areas of math, algorithms computational complexity, mathematical logic, and philosophy.