When.com Web Search

Search results

  1. Results From The WOW.Com Content Network
  2. Weapons of Math Destruction - Wikipedia

    en.wikipedia.org/wiki/Weapons_of_Math_Destruction

    Weapons of Math Destruction is a 2016 American book about the societal impact of algorithms, written by Cathy O'Neil. It explores how some big data algorithms are increasingly used in ways that reinforce preexisting inequality. It was longlisted for the 2016 National Book Award for Nonfiction but did not make it through the shortlist.

  3. Artificial intelligence - Wikipedia

    en.wikipedia.org/wiki/Artificial_intelligence

    Artificial intelligence (AI), in its broadest sense, is intelligence exhibited by machines, particularly computer systems.It is a field of research in computer science that develops and studies methods and software that enable machines to perceive their environment and use learning and intelligence to take actions that maximize their chances of achieving defined goals. [1]

  4. Automated theorem proving - Wikipedia

    en.wikipedia.org/wiki/Automated_theorem_proving

    His Foundations of Arithmetic, published in 1884, [2] expressed (parts of) mathematics in formal logic. This approach was continued by Russell and Whitehead in their influential Principia Mathematica , first published 1910–1913, [ 3 ] and with a revised second edition in 1927. [ 4 ]

  5. List of open-source software for mathematics - Wikipedia

    en.wikipedia.org/wiki/List_of_open-source...

    SageMath is designed partially as a free alternative to the general-purpose mathematics products Maple and MATLAB. It can be downloaded or used through a web site. SageMath comprises a variety of other free packages, with a common interface and language. SageMath is developed in Python.

  6. Artificial Intelligence: A Modern Approach - Wikipedia

    en.wikipedia.org/wiki/Artificial_Intelligence:_A...

    AIMA gives detailed information about the working of algorithms in AI. The book's chapters span from classical AI topics like searching algorithms and first-order logic, propositional logic and probabilistic reasoning to advanced topics such as multi-agent systems, constraint satisfaction problems, optimization problems, artificial neural networks, deep learning, reinforcement learning, and ...

  7. Hubert Dreyfus's views on artificial intelligence - Wikipedia

    en.wikipedia.org/wiki/Hubert_Dreyfus's_views_on...

    Book cover of the 1979 paperback edition. Hubert Dreyfus was a critic of artificial intelligence research. In a series of papers and books, including Alchemy and AI, What Computers Can't Do (1972; 1979; 1992) and Mind over Machine, he presented a pessimistic assessment of AI's progress and a critique of the philosophical foundations of the field.

  8. Mathematics of artificial neural networks - Wikipedia

    en.wikipedia.org/wiki/Mathematics_of_artificial...

    A neuron with label receiving an input () from predecessor neurons consists of the following components: [1]. an activation (), the neuron's state, depending on a discrete time parameter,

  9. Stephen Cole Kleene - Wikipedia

    en.wikipedia.org/wiki/Stephen_Cole_Kleene

    Stephen Cole Kleene (/ ˈ k l eɪ n i / KLAY-nee; [a] January 5, 1909 – January 25, 1994) was an American mathematician.One of the students of Alonzo Church, Kleene, along with Rózsa Péter, Alan Turing, Emil Post, and others, is best known as a founder of the branch of mathematical logic known as recursion theory, which subsequently helped to provide the foundations of theoretical computer ...