Flawed proof ushers in era of wikimaths

August 2010
New Scientist;8/21/2010, Vol. 207 Issue 2774, p1
The article focuses on the use of blogs and wiki's in examining mathematical proofs. It states that researcher Vinay Deolalikar of the Hewlett-Packard Labs in Palo Alto, California proposed proof of the unsolved "P versus NP" problem, and that mathematicians and computer scientists discussed the proof on blogs and wiki's. It mentions the majority of the activity took place on computer scientist Richard Lipton's blog, and that Lipton found significant problems in Deolalikar's paper.


Related Articles

  • THINK LIKE A COMPUTER. Anson, Ginny // Boys' Quest;Oct/Nov2000, Vol. 6 Issue 3, p20 

    Presents information on the application of computers in solving problems on mathematics.

  • Complexity Results for Single-Machine Problems with Positive Finish-Start Time-Lags. Brucker, P.; Knust, S. // Computing;1999, Vol. 63 Issue 4, p299 

    In a single-machine problem with time-lags a set of jobs has to be processed on a single machine in such a way that certain timing restrictions between the finishing and starting times of the jobs are satisfied and a given objective function is minimized. We consider the case of positive...

  • Computerized learner supports in pre-logo programming environments. Cohen, Rina S. // Journal of Research on Computing in Education;Spring90, Vol. 22 Issue 1, p310 

    Describes a project concerned with the development of pre-Logo microworlds that form mathematically rich problem solving environments for young children. Difficulties in the classroom implementation of open ended computer environments; Basis for redesign of the microworlds.

  • Playing with Numbers. Allen, Denise // Teaching Pre K-8;Jan90, Vol. 20 Issue 4, p13 

    Features math software which included programs that use tutorial, drill and practice, problem-solving and game formats. "Math Shop Jr.," by Scholastic; "The Quarter Mile," by Barnum Software; "Math Masters," by DLM.

  • The effects of problem-solving software on problem-solving ability. Funkhouser, Charles; Dennis, J. Richard // Journal of Research on Computing in Education;Spring92, Vol. 24 Issue 3, p338 

    Reports on a study of the effects of problem-solving computer software on the problem-solving ability of secondary school mathematic students. Serendipitous results; Implications for mathematics instructions.

  • Temperature-Control Firm 75F Spawned by Baby Problem-Solving.  // India -- West;5/15/2015, Vol. 40 Issue 26, pB6 

    No abstract available.

  • Combining Computational and Social Effort for Collaborative Problem Solving. Wagy, Mark D.; Bongard, Josh C. // PLoS ONE;11/6/2015, Vol. 10 Issue 10, p1 

    Rather than replacing human labor, there is growing evidence that networked computers create opportunities for collaborations of people and algorithms to solve problems beyond either of them. In this study, we demonstrate the conditions under which such synergy can arise. We show that, for a...

  • Coevolution Evolutionary Algorithm: A Survey. Kavetha. M., Jeniefer // International Journal of Advanced Research in Computer Science;Mar/Apr2013, Vol. 4 Issue 2, p324 

    Evolutionary Computing techniques have become one of the most powerful tools for solving optimization problems and is based on the mechanisms of natural selection and genetics. In Evolutionary Algorithm, Co-evolution is a natural choice for learning in problem domains where one agent's behaviour...

  • A Computational Study of Cost Reoptimization for Min-Cost Flow Problems. Frangioni, Antonio; Manca, Antonio // INFORMS Journal on Computing;Winter2006, Vol. 18 Issue 1, p61 

    In the last two decades, a number of algorithms for the linear single-commodity min-cost flow (MCF) problem have been proposed, and several efficient codes are available that implement different variants of the algorithms. The practical significance of the algorithms has been tested by comparing...


Read the Article


Sorry, but this item is not currently available from your library.

Try another library?
Sign out of this library

Other Topics