# Difference between revisions of "Session:Faith in mathematics (Wondrous Mathematics)"

From 34C3_Wiki

(Created page with "{{Session |Is for kids=No |Has description=Since Gödel's celebrated work we know: The rules of mathematics are incomplete. There are true statements for which we have proof t...") |
|||

Line 17: | Line 17: | ||

This talk will give a gentle introduction to one of the cornerstone insights of mathematical logic: Gödel's unsettling incompleteness theorem, which states: | This talk will give a gentle introduction to one of the cornerstone insights of mathematical logic: Gödel's unsettling incompleteness theorem, which states: | ||

− | + | # There are statements which we know are true but for which we have proof that they will never have proof. | |

− | + | # There are statements for which we can arbitrarily decide whether they should be true or not. | |

− | |||

These results wouldn't be surprising if they referred to statements about the real world. But they refer to purely mathematical statements, which are commonly thought to be genuinely objective. In the talk we'll learn that the naive understanding of logic as taught in schools is not tenable: There is a (well-understood) place for faith in mathematics. | These results wouldn't be surprising if they referred to statements about the real world. But they refer to purely mathematical statements, which are commonly thought to be genuinely objective. In the talk we'll learn that the naive understanding of logic as taught in schools is not tenable: There is a (well-understood) place for faith in mathematics. | ||

The talk is aimed at people who enjoy mathematical thinking, but absolutely no prerequisites in formal logic are needed. | The talk is aimed at people who enjoy mathematical thinking, but absolutely no prerequisites in formal logic are needed. |

## Revision as of 16:29, 21 December 2017

Description | Since Gödel's celebrated work we know: The rules of mathematics are incomplete. There are true statements for which we have proof that they don't have a proof and there are statements for which we can arbitrarily decide whether they are true or not. |
---|---|

Website(s) | |

Type | Talk |

Kids session | No |

Keyword(s) | art |

Processing assembly | Assembly:Curry Club Augsburg |

Person organizing | User:IngoBlechschmidt |

Language | en - English |

Other sessions... |

Starts at | 2017/12/29 11:30 |
---|---|

Ends at | 2017/12/29 12:30 |

Duration | 60 minutes |

Location | Room:Lecture room 12 |

This talk will give a gentle introduction to one of the cornerstone insights of mathematical logic: Gödel's unsettling incompleteness theorem, which states:

- There are statements which we know are true but for which we have proof that they will never have proof.
- There are statements for which we can arbitrarily decide whether they should be true or not.

These results wouldn't be surprising if they referred to statements about the real world. But they refer to purely mathematical statements, which are commonly thought to be genuinely objective. In the talk we'll learn that the naive understanding of logic as taught in schools is not tenable: There is a (well-understood) place for faith in mathematics.

The talk is aimed at people who enjoy mathematical thinking, but absolutely no prerequisites in formal logic are needed.