enow.com Web Search

Search results

  1. Results from the WOW.Com Content Network
  2. William Lowell Putnam Mathematical Competition - Wikipedia

    en.wikipedia.org/wiki/William_Lowell_Putnam...

    William Lowell Putnam Mathematical Competition results; William Lowell Putnam Competition problems, solutions, and results archive; Archive of Problems 1938–2003; Searchable data base for information about careers of Putnam Fellows; A comprehensive history of the Putnam competition An electronic update of Gallian's 2004 paper (PDF)

  3. Twin Earth thought experiment - Wikipedia

    en.wikipedia.org/wiki/Twin_Earth_thought_experiment

    The Twin Earth thought experiment was one of three examples that Putnam offered in support of semantic externalism, the other two being what he called the Aluminum-Molybdenum case and the Beech-Elm case. Since the publication of these cases, numerous variations on the thought experiment have been proposed by philosophers.

  4. Hilary Putnam - Wikipedia

    en.wikipedia.org/wiki/Hilary_Putnam

    Many of Putnam's last works addressed the concerns of ordinary people, particularly social problems. [104] For example, he wrote about the nature of democracy, social justice and religion. He also discussed Jürgen Habermas's ideas, and wrote articles influenced by continental philosophy. [23]

  5. Logical behaviorism - Wikipedia

    en.wikipedia.org/wiki/Logical_behaviorism

    Putnam proposes a thought experiment to show the distinctness of mental states from behaviour, and therefore show behaviourism to be false. In Brains and Behaviour, Putnam gives the example of 'X-Worlders', sometimes called 'super-super Spartans'. These are great warriors who have so strongly repressed the urge to display signs of pain that ...

  6. Davis–Putnam algorithm - Wikipedia

    en.wikipedia.org/wiki/Davis–Putnam_algorithm

    Algorithm DP SAT solver Input: A set of clauses Φ. Output: A Truth Value: true if Φ can be satisfied, false otherwise. function DP-SAT(Φ) repeat // unit propagation: while Φ contains a unit clause {l} do for every clause c in Φ that contains l do Φ ← remove-from-formula(c, Φ); for every clause c in Φ that contains ¬l do Φ ← remove-from-formula(c, Φ); Φ ← add-to-formula(c ...

  7. Putnam model - Wikipedia

    en.wikipedia.org/wiki/Putnam_model

    The Putnam model is an empirical software effort estimation model [1] created by Lawrence H. Putnam in 1978. Measurements of a software project is collected (e.g., effort in man-years, elapsed time, and lines of code) and an equation fitted to the data using regression analysis .

  8. AOL Mail

    mail.aol.com

    Get AOL Mail for FREE! Manage your email like never before with travel, photo & document views. Personalize your inbox with themes & tabs. You've Got Mail!

  9. Multiple realizability - Wikipedia

    en.wikipedia.org/wiki/Multiple_realizability

    Putnam cites examples from the animal kingdom as evidence for the multiple realizability of mental states. [7] Evolutionary biology — including evolutionary neuroscience — and comparative neuroanatomy and neurophysiology have demonstrated that mammals, reptiles, birds, amphibians, and mollusks have different brain structures.