Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Site Tag Cloud

2-category 2-category-theory abelian-categories adjoint algebra algebraic algebraic-geometry algebraic-topology analysis analytic-geometry arithmetic arithmetic-geometry book bundles calculus categorical categories category category-theory chern-weil-theory cohesion cohesive-homotopy-type-theory cohomology colimits combinatorics complex complex-geometry computable-mathematics computer-science constructive cosmology deformation-theory descent diagrams differential differential-cohomology differential-equations differential-geometry digraphs duality elliptic-cohomology enriched fibration foundation foundations functional-analysis functor gauge-theory gebra geometric-quantization geometry graph graphs gravity grothendieck group group-theory harmonic-analysis higher higher-algebra higher-category-theory higher-differential-geometry higher-geometry higher-lie-theory higher-topos-theory homological homological-algebra homotopy homotopy-theory homotopy-type-theory index-theory integration integration-theory internal-categories k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nlab noncommutative noncommutative-geometry number-theory of operads operator operator-algebra order-theory pages pasting philosophy physics pro-object probability probability-theory quantization quantum quantum-field quantum-field-theory quantum-mechanics quantum-physics quantum-theory question representation representation-theory riemannian-geometry scheme schemes set set-theory sheaf simplicial space spin-geometry stable-homotopy-theory stack string string-theory superalgebra supergeometry svg symplectic-geometry synthetic-differential-geometry terminology theory topology topos topos-theory tqft type type-theory universal variational-calculus

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).

nLab > Latest Changes: exercise

Bottom of Page

1 to 5 of 5

  1.  
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeMay 25th 2022
    • (edited May 25th 2022)

    touching this ancient and abandoned entry in reaction to the discussion here:

    I think an entry with this title deserves to exist (even if its current content is unsatisfactory). To make this point, I am cross-linking it now with all of the following entries which all exist (even though all of them leave a lot of room for improvement):

    In this vein, I have removed the category: meta-tag from this entry.

    diff, v4, current

    • CommentRowNumber2.
    • CommentAuthorUrs
    • CommentTimeMay 25th 2022

    Hm, we have more along these lines. What’s the generic term for (most of) the following:

    ?

    • CommentRowNumber3.
    • CommentAuthorDmitri Pavlov
    • CommentTimeMay 25th 2022
    • (edited May 25th 2022)

    Some of these, such as definition, theory, proposition are talking about logic.

    Others, like folklore and exercise, have no mathematics, and instead are talking about aspects of mathematical exposition. Perhaps we could have something like the latter article, which could, for example, explain how mathematical texts and presentation evolved in time.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeMay 26th 2022
    • (edited May 26th 2022)

    All of these items are about forms of mathematical expression. We must not go by what the entries currently contain, but what they eventually ought to contain.

    A useful entry on exercise should point out that this term is sometimes (not so rarely, actually) used for much the same content as in a lemma/proposition/theorem, differing only by its attitude towards proof. Then it should list some famous examples of “exercises”, such as Milnor’s exercise.

    I’ll make such an edit now. But then I do need to take care of more important tasks…

    • CommentRowNumber5.
    • CommentAuthorUrs
    • CommentTimeMay 26th 2022
    • (edited May 26th 2022)

    added a first sentence to set the scene.

    added a section “Examples”, so far with a single item: “Milnors exercise”.

    diff, v5, current

1 to 5 of 5

  1.