0
Can you build a computer that can solve problems and prove theorems in abstract algebra?
Wiki User
∙ 13y ago
In theory, yes.
A brain is a physical object made of water, salts and organic chemicals. It obeys the laws of physics. There's no fundamental difference between a human brain and a machine. It's just a question of whether the circuits are made from silicon chips or neurons.
There are software applications available for this. See http://en.wikipedia.org/wiki/Automated_theorem_proving . In practice, they're still very primitive (I think). In fact, even the easier task of checking a given proof is still in its infancy. I know a guy who spent a year working on this, c. 2005. The goal was to write a machine-verifiable proof of the Fundamental Theorem of Algebra (every polynomial has a root), which has been known since the 19th century.
Wiki User
∙ 13y ago
Add your answer:
Earn +20 pts
What has the author D S Malik written?
D. S. Malik has written: 'Java Programming' 'Java programming' -- subject(s): Java (Computer program language) 'Fundamentals of abstract algebra' -- subject(s): Abstract Algebra, Algebra, Abstract 'C++ Programming'
What has the author Richard E Klima written?
Richard E. Klima has written: 'Applications of abstract algebra with Maple' -- subject(s): Abstract Algebra, Data processing, Maple (Computer file)
What has the author Edward M'William Patterson written?
Edward M'William Patterson has written: 'Elementary abstract algebra' -- subject(s): Algebra 'Elementary abstract algebra [by] E.M. Patterson [and] D.E. Rutherford' -- subject(s): Abstract Algebra, Algebra, Abstract
Is relational algebra under abstract algebra?
yes
What has the author John A Beachy written?
John A. Beachy has written: 'Abstract algebra' -- subject(s): Abstract Algebra, Algebra, Abstract 'Introductory lectures on rings and modules' -- subject(s): Modules (Algebra), Noncommutative rings
What has the author Gretel Hecht written?
Gertrude Ehrlich has written: 'Fundamental concepts of abstract algebra' -- subject(s): MATHEMATICS / Algebra / Abstract, Abstract Algebra 'Fundamental concepts of abstract algebra' -- subject(s): Abstract Algebra 'Fundamental concepts of abstract algebra' -- subject(s): MATHEMATICS / Algebra / Abstract, Abstract Algebra
What has the author Dennis Kletzing written?
Dennis Kletzing has written: 'Abstract algebra' -- subject(s): Abstract Algebra
What has the author George Mackiw written?
George Mackiw has written: 'Applications of abstract algebra' -- subject(s): Abstract Algebra
What is abstract algebra?
Abstract algebra is a field of mathematics that studies groups, fields and rings, which all belong to algebraic structures. Algebraic structure and abstract algebra are actually close to each other due to their similarity in topics.
What all is involved with abstract algebra?
When focusing upon abstract algebra, there are many different areas included within this topic such as groups, rings, modules and vector space. These all are part of the sequence to constructing abstract algebra.
What has the author Gary D Crown written?
Gary D. Crown has written: 'Abstract algebra' -- subject(s): Abstract Algebra
What are algebra problems?
An algebra problems like 2+?=4.
