http://kwarc.info/blog/2008/10/16/discussion-with-cristian-calude/ KWARC research group's blog Tue, 03 Nov 2009 11:03:14 +0000 hourly 1 http://wordpress.org/?v=3.5.1 http://kwarc.info/blog/2008/10/16/discussion-with-cristian-calude/comment-page-1/#comment-318 “KWARC was!” » Blog Archive » Discussion with Cristian Calude Tue, 21 Oct 2008 04:12:44 +0000 http://kwarc.info/blog/?p=541#comment-318 [...] second meeting with Cristian Calude has clarified some of the issues from the first meeting … Please note that Cris and all other researchers mention do not necessarily share my [...]

]]> http://kwarc.info/blog/2008/10/16/discussion-with-cristian-calude/comment-page-1/#comment-316 “KWARC was!” » Blog Archive » Mathematical Proving Tue, 21 Oct 2008 00:28:11 +0000 http://kwarc.info/blog/?p=541#comment-316 [...] Aspects of mathematical proofs: deduction/ syllogistic reasoning (most visible aspect), but also: observation, intuition, experiment, visual representations, induction, analogy, and examples; some belonging to the preliminary steps, whose presence is not made explicit (when finally presenting the proof), but without which proofs cannot be conceived (2-p.17; see previous post) [...]

]]> http://kwarc.info/blog/2008/10/16/discussion-with-cristian-calude/comment-page-1/#comment-314 “KWARC was!” » Blog Archive » Five misunderstandings about case-study research Mon, 20 Oct 2008 03:25:23 +0000 http://kwarc.info/blog/?p=541#comment-314 [...] a communal and peer-reviewed process within which a given proof is falsified and tested (see discussion with Cristian Calude). Case studies often contain a substantial element of narrative. Good narratives typically [...]

]]>