A Common Type of Rigorous Proof that Resists Hilbert’s Programme

Search results

• Finished

  The integration and interaction of multiple mathematical Reasoning Processes

  Bundy, A., Aspinall, D., Colton, S., Fleuriot, J., Gow, J., Grov, G., Ireland, A., Jackson, P., Mcneill, F., Michaelson, G. & Smaill, A.

  EPSRC

  1/11/15 → 31/10/19

  Project: Research

  • Representation 100%
  • Domains 65%
  • Reasoning 62%
  • Repair 56%
  • Application 42%

• AUTOMATED DISCOVERY OF MATHEMATICS

  Bundy, A., Colton, S. & Smith, P.

  EPSRC

  1/08/03 → 31/08/06

  Project: Research

  • Mathematics 100%
  • Selection 40%
  • Inference 40%
  • Computer System 40%
  • Inductive Theorem 40%

• The integration and interaction of multiple mathematical reasoning processes

  Bundy, A., Dennis, L., Fleuriot, J., Ireland, A., Jackson, P., Richardson, J. & Smaill, A.

  EPSRC

  1/10/02 → 30/09/06

  Project: Research

  • Inference 100%
  • Formal Logic 50%
  • Classes 50%
  • Mathematical Proof 50%
  • Sequences 50%