Renaissance polymath whose notebooks contain designs for flying machines, armoured vehicles, solar concentrators, and an automaton, anticipating inventions by centuries.