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 definitions 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 k-theory lie-theory limits linear linear-algebra locale localization logic mathematics measure-theory modal modal-logic model model-category-theory monad monads monoidal monoidal-category-theory morphism motives motivic-cohomology nforum 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).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeSep 6th 2012
    • (edited Sep 6th 2012)

    while undoing the ill-named enty programming theory I noticed of course that we did have an entry computer science already, even if all it contained was a pointer to an article by John Power.

    I am not in position to put anything substantial into this entry, but I did add a handful of words to turn it from a puny stub into a tiny stub, at least.

    • CommentRowNumber2.
    • CommentAuthorTim_Porter
    • CommentTimeSep 6th 2012
    • (edited Sep 6th 2012)

    I have searched around and found that we did have some entries on computer science that could be linked to … so I did that! I also added some wished for entries both on topics and people. I also linked to an old discussion on the café, from 2006. see here. We may find other points in there which could be useful here.

    There may be other entries that are relevant as well.

    • CommentRowNumber3.
    • CommentAuthorTim_Porter
    • CommentTimeSep 6th 2012
    • (edited Sep 6th 2012)

    I created a stubby denotational semantics as needed by some of the computer science entries.

    • CommentRowNumber4.
    • CommentAuthorTim_Porter
    • CommentTimeSep 7th 2012

    I added some more links to people.

    • CommentRowNumber5.
    • CommentAuthorTim_Porter
    • CommentTimeSep 7th 2012

    I have added a reference to Asperti and Longo, Categories Types and Structures, which is available on lineI put a link at computer science.

    • CommentRowNumber6.
    • CommentAuthorTim_Porter
    • CommentTimeSep 7th 2012

    (i) I have been adding entries (people) to the list of computer scientist. Should this be organised differently? e.g. separate entry?

    (ii) I have been consistently (I hope) giving category:computer science to the non-people entries that area of relevance to CS. Can this be used in some neat way to enrich the CS part of the nLab?

    • CommentRowNumber7.
    • CommentAuthorTobyBartels
    • CommentTimeSep 8th 2012

    I don’t know how neat it is, but you can put the people in that category too, since a page can be in any number of categories.

    • CommentRowNumber8.
    • CommentAuthorTim_Porter
    • CommentTimeSep 8th 2012

    I will do that bit by bit. Thanks,

    • CommentRowNumber9.
    • CommentAuthorzskoda
    • CommentTimeApr 5th 2018

    In addition to the category-tag “computer science” I added the tag “software” to the page computer science. While these are distinct category-tags, at least the top page for computer science has to be aware of both closely related and partly overlapping groups of nnLab topics.

    In the introduction at computer science somebody has put that it would be better to call (theoretical) computer science “programming theory”. I disagree with this software-centric point of view. Computer science is about so many other things than the code and execution algorithm related ones, including signal processing, physics of quantum computing, hardware optimization, security, hardware standardization, algorithms for integrated components packing, real time profiling of computer performance, fault management etc.

  1. From the nPOV, computer science is part of the computational trinity, together with type theory and category theory. Maybe programming theory would have been a good term for computer science (to match with its siblings). But it’s not used this way, more’s the pity.

    That remark (above) is also problematic because the computational trinity is (logic, type theory, category theory). Out of the three computer science corresponds most to type theory, so its complement should really be “logic and category theory”, rather than “type theory and category theory”. Perhaps you should just reduce the remark to:

    From the nPOV, computer science is part of the computational trinity, together with logic and category theory.

    • CommentRowNumber11.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 5th 2018

    That does fit better with Harper’s original words:

    Logic, which gives primacy to proofs and propositions; Languages, which gives primacy to programs and types; Categories, which gives primacy to mappings and structures.

    Logic tells us what propositions exist (what sorts of thoughts we wish to express) and what constitutes a proof (how we can communicate our thoughts to others). Languages (in the sense of programming) tells us what types exist (what computational phenomena we wish to express) and what constitutes a program (how we can give rise to that phenomenon). Categories tell us what structures exist (what mathematical models we have to work with) and what constitutes a mapping between them (how they relate to one another).

  2. Removed remark about “programming theory” and corrected the reference to computational trinity.

    Oscar Cunningham

    diff, v21, current

    • CommentRowNumber13.
    • CommentAuthorzskoda
    • CommentTimeOct 19th 2022

    Link

    at computer science does not seem to work in http nor https version.