[Haskell-cafe] Comments from OCaml Hacker Brian Hurt
cgibbard at gmail.com
Thu Jan 15 18:21:20 EST 2009
While you're absolutely correct and I agree with you, to be fair,
essentially all mathematicians have a sense of "rigourisability"
(whether they recognise it or not), which is a peculiar standard that
they apply to everything they hear or read. The level of rigour at
which mathematicians communicate is designed not to bore the listener
with details that they could easily supply for themselves, being an
intelligent mathematician, and not a mechanical abstraction.
2009/1/15 Derek Elkins <derek.a.elkins at gmail.com>:
> Actually programming requires -far more- precision than mathematics ever
> has. The standards of "formal" and "precise" that mathematicians use
> are a joke to computer scientists and programmers. Communication is
> also more important or at least more center stage in mathematics than
> programming. Mathematical proofs are solely about communicating
> understanding and are not required to execute on a machine.
> On Thu, 2009-01-15 at 18:27 +0000, Lennart Augustsson wrote:
>> That's very true. But programming is one where mathematical precision
>> is needed, even if you want to call it something else.
>> On Thu, Jan 15, 2009 at 6:04 PM, Paul Moore <p.f.moore at gmail.com> wrote:
>> > Mathematical precision isn't appropriate in all disciplines.
>> Haskell-Cafe mailing list
>> Haskell-Cafe at haskell.org
> Haskell-Cafe mailing list
> Haskell-Cafe at haskell.org
More information about the Haskell-Cafe