Toot

Written by Andrej Bauer on 2025-01-02 at 14:14

How to do synthetic mathematics in ten difficult steps:

1. Take off your programmer's hat – not everything is a language.

2. Put on your mathematician's hat – but keep in mind that language matters.

4. Clear your mind and prepare yourself for mental discipline that will be required for what lies ahead.

3. Pick a mathematical topic.

5. Create a new world of mathematics that tailored to the chosen topic.

6. Relocate into the new world.

7. Learn to speak and think like the indigenous mathematicians.

8. Prove old theorems by new methods.

9. Look for new phenomena, especially those that mathematize what people on the outside experience as folk wisdom.

10. Build a model through which people on the outside can peep in.

@cbaberle @jonmsterling @MartinEscardo @chrisamaphone

=> More informations about this toot | View the thread | More toots from andrejbauer@mathstodon.xyz

Mentions

=> View cbaberle@mathstodon.xyz profile | View jonmsterling@mathstodon.xyz profile | View MartinEscardo@mathstodon.xyz profile | View chrisamaphone@hci.social profile

Tags