If we feed all the existing mathematical axioms to a powerful computer, it should be able to give us all the proofs and theorems that can be derived using the axioms. Is there anything wrong with this logic?(adsbygoogle = window.adsbygoogle || []).push({});

**Physics Forums - The Fusion of Science and Community**

Join Physics Forums Today!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

The friendliest, high quality science and math community on the planet! Everyone who loves science is here!

# Mathematical proofs

Loading...

Similar Threads - Mathematical proofs | Date |
---|---|

Why mathematicians do not solve mathematical theories? | Feb 27, 2018 |

Mathematical proofs, physics and time management | Mar 28, 2017 |

Mathematical Proof That The Media is Sexist and Bad at Math | Jun 21, 2012 |

Writing mathematical proofs has greatly improved my life | Feb 1, 2012 |

Mathematical Proof | Jul 21, 2011 |

**Physics Forums - The Fusion of Science and Community**