[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Re: if vs. when vs. and: style question
From: |
Marcin Borkowski |
Subject: |
Re: if vs. when vs. and: style question |
Date: |
Mon, 30 Mar 2015 17:21:23 +0200 |
Hello,
first of all: I stand in awe watching this discussion I've inadvertently
started.
On 2015-03-30, at 16:18, Stefan Monnier <monnier@iro.umontreal.ca> wrote:
>>> Do you know any Mathematician that is paid by the hour? ;-)
>> Or that is forced to use differential geometry to solve his problem,
>> whatever it is, because the enterprises only has other specialists of
>> differential geometry, and they are easy to find for hiring.
>
> Along the same lines, I don't know many programmers whose code is never
> passed to a compiler/interpreter but is instead only read by other
> human beings.
BTW: I think you nailed a serious problem with contemporary mathematics:
that machine checking proofs isn't a routine part of the publishing
process. The number of erroneous papers in math journals is
horrifying. Substantial portion of my depatment's seminar is devoted to
discussing errors in papers. Once a colleague found a relatively simple
/counterexample/ to a theorem which was a cornerstone of a whole theory
(and a basis for several dozen other papers).
> Stefan
Best,
--
Marcin Borkowski
http://octd.wmi.amu.edu.pl/en/Marcin_Borkowski
Faculty of Mathematics and Computer Science
Adam Mickiewicz University
- Re: if vs. when vs. and: style question, (continued)
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/29
- Re: if vs. when vs. and: style question, Stefan Monnier, 2015/03/29
- Re: if vs. when vs. and: style question, Óscar Fuentes, 2015/03/29
- Re: if vs. when vs. and: style question, Stefan Monnier, 2015/03/29
- Re: if vs. when vs. and: style question, tomas, 2015/03/30
- Re: if vs. when vs. and: style question, Óscar Fuentes, 2015/03/30
- Message not available
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/30
- Re: if vs. when vs. and: style question, Stefan Monnier, 2015/03/30
- Re: if vs. when vs. and: style question,
Marcin Borkowski <=
- Re: if vs. when vs. and: style question, Óscar Fuentes, 2015/03/30
- Message not available
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/30
- Message not available
- Reality and Proofs (was if vs. when vs. and: style question), Rusi, 2015/03/31
- Message not available
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/30
- Message not available
- Re: if vs. when vs. and: style question, Rusi, 2015/03/29
- Message not available
- Re: if vs. when vs. and: style question, Rusi, 2015/03/25
- Re: if vs. when vs. and: style question, Pascal J. Bourguignon, 2015/03/25
- RE: if vs. when vs. and: style question, Drew Adams, 2015/03/25
- Message not available
- Re: if vs. when vs. and: style question, Rusi, 2015/03/25
- Re: if vs. when vs. and: style question, Rusi, 2015/03/25