Salta al contenuto
0
  • Home
  • Piero Bosio
  • Blog
  • Mondo
  • Fediverso
  • News
  • Categorie
  • Recenti
  • Popolare
  • Tag
  • Utenti
  • Home
  • Piero Bosio
  • Blog
  • Mondo
  • Fediverso
  • News
  • Categorie
  • Recenti
  • Popolare
  • Tag
  • Utenti
Skin
  • Light
  • Brite
  • Cerulean
  • Cosmo
  • Flatly
  • Journal
  • Litera
  • Lumen
  • Lux
  • Materia
  • Minty
  • Morph
  • Pulse
  • Sandstone
  • Simplex
  • Sketchy
  • Spacelab
  • United
  • Yeti
  • Zephyr
  • Dark
  • Cyborg
  • Darkly
  • Quartz
  • Slate
  • Solar
  • Superhero
  • Vapor

  • Predefinito (Nessuna skin)
  • Nessuna skin
Collassa

Piero Bosio Social Web Site Personale Logo Fediverso

Social Forum federato con il resto del mondo. Non contano le istanze, contano le persone
Martin Escardoundefined

Martin Escardo

@martinescardo@mathstodon.xyz
Informazioni
Post
1
Discussioni
1
Condivisioni
0
Gruppi
0
Da chi è seguito
0
Chi segue
0

Visualizza l'originale

Post

Recenti

  • I remember a book on topology (published or unpublished?
    Martin Escardoundefined Martin Escardo

    I remember a book on topology (published or unpublished? maybe only online?) for which I can't find a reference or a link.

    Can you help?

    In any case, it is a book that has no proofs.

    The idea of the book is to create a sequence of lemmas, each of which is obvious, so that the diligent students can prove them, either on paper or in their own heads, and what is important is not the proofs, but the sequence of lemmas leading to the theorems.

    Coming up with the sequence of lemmas which need no creative proof is the creative contribution of this book.

    But I can't find it.

    Anyway, I learned something from it, at that time.

    Namely that what matters about a proof is that each step is obvious and meaningful.

    When you write a proof, break it up in meaningful self-proving lemmas. Then it will be very readable and meaningful.

    But this is easier said than done, of course (like everything).

    Senza categoria
  • 1 / 1
  • Accedi

  • Accedi o registrati per effettuare la ricerca.
  • Primo post
    Ultimo post