From mboxrd@z Thu Jan 1 00:00:00 1970 Path: news.gmane.org!not-for-mail From: Marcin Borkowski Newsgroups: gmane.emacs.help Subject: Re: if vs. when vs. and: style question Date: Mon, 30 Mar 2015 17:21:23 +0200 Message-ID: <871tk68qa4.fsf@wmi.amu.edu.pl> References: <87lhilx0cf.fsf@debian.uxu> <87twx9360u.fsf@kuiper.lan.informatimago.com> <0d1d19ab-06e9-462d-8867-9a49b1e232d3@googlegroups.com> <87pp7x2jav.fsf@kuiper.lan.informatimago.com> <87d23s4nt4.fsf@debian.uxu> <7e8ddf8f-163a-4d16-9ce2-25b0cb3f35aa@googlegroups.com> <87sicny7zm.fsf@kuiper.lan.informatimago.com> <874mp3clqi.fsf@wanadoo.es> <20150330094432.GA30418@tuxteam.de> <87a8yuy6wn.fsf@kuiper.lan.informatimago.com> NNTP-Posting-Host: plane.gmane.org Mime-Version: 1.0 Content-Type: text/plain X-Trace: ger.gmane.org 1427728925 8515 80.91.229.3 (30 Mar 2015 15:22:05 GMT) X-Complaints-To: usenet@ger.gmane.org NNTP-Posting-Date: Mon, 30 Mar 2015 15:22:05 +0000 (UTC) To: help-gnu-emacs@gnu.org Original-X-From: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Mon Mar 30 17:22:01 2015 Return-path: Envelope-to: geh-help-gnu-emacs@m.gmane.org Original-Received: from lists.gnu.org ([208.118.235.17]) by plane.gmane.org with esmtp (Exim 4.69) (envelope-from ) id 1YcbVk-0005gq-ND for geh-help-gnu-emacs@m.gmane.org; Mon, 30 Mar 2015 17:21:56 +0200 Original-Received: from localhost ([::1]:34586 helo=lists.gnu.org) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YcbVk-0000Aq-4j for geh-help-gnu-emacs@m.gmane.org; Mon, 30 Mar 2015 11:21:56 -0400 Original-Received: from eggs.gnu.org ([2001:4830:134:3::10]:47110) by lists.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YcbVS-00009g-4h for help-gnu-emacs@gnu.org; Mon, 30 Mar 2015 11:21:43 -0400 Original-Received: from Debian-exim by eggs.gnu.org with spam-scanned (Exim 4.71) (envelope-from ) id 1YcbVO-000898-OC for help-gnu-emacs@gnu.org; Mon, 30 Mar 2015 11:21:38 -0400 Original-Received: from msg.wmi.amu.edu.pl ([2001:808:114:2::50]:33225) by eggs.gnu.org with esmtp (Exim 4.71) (envelope-from ) id 1YcbVO-00088N-Gv for help-gnu-emacs@gnu.org; Mon, 30 Mar 2015 11:21:34 -0400 Original-Received: from localhost (localhost [127.0.0.1]) by msg.wmi.amu.edu.pl (Postfix) with ESMTP id 7FA0D5B5D8 for ; Mon, 30 Mar 2015 17:21:29 +0200 (CEST) Original-Received: from msg.wmi.amu.edu.pl ([127.0.0.1]) by localhost (msg.wmi.amu.edu.pl [127.0.0.1]) (amavisd-new, port 10024) with ESMTP id jFzTbFuWmrSD for ; Mon, 30 Mar 2015 17:21:29 +0200 (CEST) Original-Received: from localhost (117-116.echostar.pl [213.156.117.116]) by msg.wmi.amu.edu.pl (Postfix) with ESMTPSA id 39B385B5C0 for ; Mon, 30 Mar 2015 17:21:29 +0200 (CEST) In-reply-to: X-detected-operating-system: by eggs.gnu.org: Error: Malformed IPv6 address (bad octet value). X-Received-From: 2001:808:114:2::50 X-BeenThere: help-gnu-emacs@gnu.org X-Mailman-Version: 2.1.14 Precedence: list List-Id: Users list for the GNU Emacs text editor List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Errors-To: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Original-Sender: help-gnu-emacs-bounces+geh-help-gnu-emacs=m.gmane.org@gnu.org Xref: news.gmane.org gmane.emacs.help:103452 Archived-At: Hello, first of all: I stand in awe watching this discussion I've inadvertently started. On 2015-03-30, at 16:18, Stefan Monnier 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