ELABORATE MATHEMATICS

Michael Bucknum acknowledges here that algorithmic reasoning and thus programmatic calculations are based in logic. And as logic is a branch of mathematics, consequently algorithmic reasoning and algorithms and programs are a branch of mathematics thus...And he admits thus that some programs can have very elaborate mathematical structures and very highly mathematical results. He also notes that symbolic manipulation is algorithmic and based upon programming languages...And finally MJB admits that HIS usage of mathematics is decidedly simple-minded but also very transparent.