The forgotten janitor who discovered the logic of the mind