"Uma linguagem nova, vasta e poderosa, desenvolvida para o uso futuro de análises, para o uso de suas verdades, de modo que estas possam se tornar aplicações mais rápidas e precisas para os propósitos da humanidade do que os meios que possuímos até agora tornaram possível. " - Ada Lovelace.
