Лейбниц попытался предоставить отчет о выводе и суждении, связанном с механической игрой символов и очень мало. Контрольные списки, которые результаты являются первыми из интеллектуальных артефактов человечества. Они выражают, объясняют они, и поэтому они ратифицируют силу ума. И, конечно же, они являются артефактами в процессе становления алгоритмами.