Automated theorem proving

edit

Hi Linket,

before we get into an edit war: Of course ATP systems can, in principle, try to prove that a program halts. They can even succeed in many cases (a simple case is e.g. proof by structural argument: A program terminates if there is no unbounded loop or general recursion in it). In fact, proving termination is a not insignificant subfield of automated reasoning[1], with it's own workshop series[2] and just to prove that it really works, a regular competition [3]. Gödel and Turing have shown that there are problems that cannot be solved or proven in any formal system, but that applies to humans as well as to automated theorem provers. Humans can change the paradigm, but there is nothing that forbids ATP system from doing the same (and, with proof assistants, that is often what happens). You want to write that "ATP is a subfield [...] dealing with proving a limited set of mathematical theorems". But the field is not limited in that way. Our programs are, but then they are constantly evolving to become more powerful. Compare "Physics is the natural science that involves the study of matter and its motion through space and time, along with related concepts such as energy and force." We don't understand all of physical reality, but physics is the field that that tries to understand more and more of it. ATP as a field cannot prove all mathematical theorems, but we are sure trying to solve more and more of them. --Stephan Schulz (talk) 08:02, 8 March 2014 (UTC)Reply

Bruno

edit

Hey Linket, it would be great to have better coverage of Bruno's mathematics. I'm sure there are good articles that can found describing this. Let me know if I can help. best, -Darouet (talk) 01:31, 6 October 2016 (UTC)Reply

Survey Invite

edit

I'm working on a study of political motivations and how they effect editing. I'd like to ask you to take a survey. The survey should take 5 minutes. Your survey responses will be kept private. Our project is documented at https://meta.wikimedia.org/wiki/Research:Wikipedia_%2B_Politics.

Survey Link: http://uchicago.co1.qualtrics.com/jfe/form/SV_80J3UDCpLnKyWTH?Q_DL=6ybvGHdBVVUDi1D_80J3UDCpLnKyWTH_MLRP_0oM6lzZ3EDgDQCF&Q_CHL=gl

I am asking you to participate in this study because you are a frequent editor of pages on Wikipedia that are of political interest. We would like to learn about your experiences in dealing with editors of different political orientations.

Sincere thanks for your help! Porteclefs (talk) 15:41, 6 July 2017 (UTC)Reply

Welcome to join WikiProject Skepticism

edit

Hi Linket,

Welcome! You are receiving this message because we've noticed your great edits related to our project WikiProject Skepticism!. We are a group of editors working on improving articles in the scope of this project, and we need your help to meet the project goals. Please come over to our project page to take a look!

  • You will see a list of articles that need most improvement .
  • You will find a group of editors who share similar interest with you.
  • Overall, this is a friendly place to discuss any issues related to Skepticism, ask questions, and collaborate on improving articles on Skepticism!

Feel free to put your name on the project member list. Hope you will have fun here, let us know if you need any help! Bobo.03 (talk) 23:13, 3 March 2018 (UTC)Reply