Tractatus logico-informaticus door Nicholas Meyer