51
51

Aug 12, 2019
08/19

by
Engeler, Erwin

texts

#
eye 51

#
favorite 0

#
comment 0

100 p. : 24 cm

Topic: Metamathematics

Includes bibliographical references

Topic: Metamathematics

Title from cover

Topics: METAMATHEMATICS., COMPUTER PROGRAMMING.

89
89

Oct 5, 2015
10/15

by
Rowe, Neil C.

texts

#
eye 89

#
favorite 0

#
comment 0

Title from cover

Topic: METAMATHEMATICS.,COMPUTER PROGRAMMING.

http://uf.catalog.fcla.edu/uf.jsp?st=UF020674712&ix=pm&I=0&V=D&pm=1

Topics: Gödel's theorem, Metamathematics.

143
143

Sep 4, 2019
09/19

by
Smullyan, Raymond M

texts

#
eye 143

#
favorite 14

#
comment 0

142 p. 26 cm

Topics: Metamathematics, Recursive functions

60
60

Jul 17, 2019
07/19

by
Nidditch, P. H

texts

#
eye 60

#
favorite 4

#
comment 0

371 p. 19 cm

Topics: Metamathematics, Science -- Methodology

31
31

Aug 17, 2019
08/19

by
Malʹt͡sev, A. I. (Anatoliĭ Ivanovich), 1909-1967

texts

#
eye 31

#
favorite 3

#
comment 0

xviii, 494 p. 23 cm

Topics: Algebra, Metamathematics, Model theory

0
0.0

Nov 22, 2022
11/22

by
Symposium on Foundations of Mathematics (1959 : Warsaw, Poland)

texts

#
eye 0

#
favorite 0

#
comment 0

362 p. 26 cm

Topics: Processes, Infinite -- Congresses, Metamathematics -- Congresses

99
99

Aug 9, 2019
08/19

by
Nidditch, P. H

texts

#
eye 99

#
favorite 5

#
comment 0

188 p. 19 cm

Topics: Logic, Symbolic and mathematical, Metamathematics

243
243

Sep 6, 2019
09/19

by
Gentzen, Gerhard

texts

#
eye 243

#
favorite 9

#
comment 0

xii, 338 p., 2 p. of photos. ; 23 cm

Topics: Logic, Symbolic and mathematical, Metamathematics

53
53

Sep 16, 2019
09/19

by
Anderson, John Mueller

texts

#
eye 53

#
favorite 6

#
comment 0

418 p. : 24 cm

Topics: Logic, Symbolic and mathematical, Metamathematics

Source: removedNEL

88
88

Aug 12, 2019
08/19

by
Hofstadter, Douglas R., 1945-

texts

#
eye 88

#
favorite 9

#
comment 0

xxviii, 852 p. : 24 cm

Topics: Amusements, Artificial intelligence, Intellect, Metamathematics, Science -- Philosophy, Self...

114
114

Jun 15, 2021
06/21

by
Cheng, Eugenia, author

texts

#
eye 114

#
favorite 2

#
comment 0

288 pages : 25 cm

Topics: Mathematics -- Popular works, Mathematics, Metamathematics, Categories (Mathematics), MATHEMATICS...

Topics: DTIC Archive, BUCHI, J R, MICHIGAN UNIV ANN ARBOR, *MATHEMATICAL LOGIC, *METAMATHEMATICS

A necessary and sufficient condition is given for a family of sets to be the family of all sets representable in a theory.

Topics: DTIC Archive, PUTNAM, HILARY, NEW YORK UNIV NY COURANT INST OF MATHEMATICAL SCIENCES,...

Formation rules are presented for an W-order logic with lambda operator in which each term has a well defined type. Transformation rules are given defining lambda-conversion, special conversion, substitution, and alphabetic change of bound variables. The notion of one term being an 'instance' of another is then defined using these transformation rules. The main problem of the paper is to develop a 'matching procedure' for pairs of terms, so that every common instance of the two given terms is...

Topics: DTIC Archive, Gould, William E, APPLIED LOGIC CORP PRINCETON NJ, *ALGORITHMS, *MATHEMATICAL LOGIC,...

Topics: DTIC Archive, Giveon, Yehoshafat, MICHIGAN UNIV ANN ARBOR, *TOPOLOGY, *FACTOR ANALYSIS,...

This report defines and describes six formal systems of logic, S sub 1 through S sub 6, for which proof procedures or partial proof procedures are readily contrived. The systems S sub 1 through S sub 4 are considered in order to simplify the descriptions of S sub 5 and S sub 6. System S sub 1 is a fragment of the classical propositional calculus whose theorems are those tautologies which can be shown tautologous by assuming them to take on the value falsehood and arriving at an inconsistent...

Topics: DTIC Archive, APPLIED LOGIC CORP PRINCETON NJ, *COMPUTER PROGRAMMING, MATHEMATICAL LOGIC,...

58
58

Aug 4, 2021
08/21

by
Hofstadter, Douglas R., 1945-

texts

#
eye 58

#
favorite 7

#
comment 0

23, vi-xxi, 777 p. : 23 cm

Topics: Bach, Johann Sebastian, 1685-1750, Escher, M. C. (Maurits Cornelis), 1898-1972, Gödel, Kurt,...

111
111

Nov 12, 2019
11/19

by
Hofstadter, Douglas R., 1945-

texts

#
eye 111

#
favorite 6

#
comment 0

xxviii, 852 pages : 23 cm

Topics: Artificial intelligence, Intellect, Science -- Philosophy, Metamathematics, Self (Philosophy),...

1,345
1.3K

Nov 16, 2009
11/09

by
Hofstadter, Douglas R., 1945-

texts

#
eye 1,345

#
favorite 53

#
comment 0

Reprint of the ed. published by Basic Books, New York

Topics: Bach, Johann Sebastian, 1685-1750, Escher, M. C. (Maurits Cornelis), 1898-1972, Gödel, Kurt,...

Topics: DTIC Archive, Yushchenko, K L, LIBRARY OF CONGRESS WASHINGTON DC AEROSPACE TECHNOLOGY DIV,...

A simple but important algorithm used to support automated reasoning is called matching: given two terms it produces a substitution, if one exists, that maps the first term to the second. In this paper the matching algorithm is used to illustrate the approach to automating reasoning suggested in the title. In Section 3 the algorithm is derived and verified in the Nuprl proof development system following exactly an informal presentation of it in Section 2. The example serves to introduce a...

Topics: DTIC Archive, Constable, Robert L, CORNELL UNIV ITHACA NY MATHEMATICAL SCIENCES INST,...

The report describes the status of the fifth in a series of five experiments in semi-automated mathematics. These experiments culminated in large complex computer programs which allow a mathematician to prove mathematical theorems on a man-machine basis. SAM V, the fifth program, uses a cathode ray tube as the principal interface between the mathematician and a high speed digital computer. An elaborate language and logical capability has been implemented in SAM V. These include I/O languages...

Topics: DTIC Archive, Bennett, James H, APPLIED LOGIC CORP PRINCETON NJ, *COMPUTER PROGRAMMING,...

It is possible to represent a finite set of points (atoms) by a finite sequence of points. However a finite set of points has no distinguished member and therefore it is impossible to define a function which takes a finite set of points and returns a first point in that set. Thus it is impossible to represent a finite sequence of points by a finite set of points. The theory of symmetric sets provides a framework in which this observation about sets and sequences can be proven. The theory of...

Topics: DTIC Archive, McAllester,David Allen, MASSACHUSETTS INST OF TECH CAMBRIDGE ARTIFICIAL INTELLIGENCE...

1,594
1.6K

Jan 20, 2012
01/12

by
Hofstadter, Douglas R., 1945-

texts

#
eye 1,594

#
favorite 53

#
comment 0

Bibliography: p. 746-756

Topics: Bach, Johann Sebastian, 1685-1750, Escher, M. C. 1898-1972, Gödel, Kurt, Metamathematics,...

The United States Marine Corps' ability to wage war and its warfighting effectiveness rely heavily on the availability of its tactical ground equipment. The Marine Corps optimizes the warfighting availability of its tactical ground equipment in its depot-level repair plan, which commits $450 million over a six-year horizon. Currently, small changes (for example, budget) to the input to this model produce non-intuitive revisions that are needlessly disruptive. The Marine Corps Materiel Command...

Topics: DTIC Archive, Drexler, Jonathan A, NAVAL POSTGRADUATE SCHOOL MONTEREY CA, *MAINTENANCE MANAGEMENT,...

Various possible decision policies are enumerated for both decision and information feedback subject to the restriction that communication be by binary sequences and that a binary decision be made for individual digits, as well as several other restrictions. It is then shown that, within the allowed class of systems, only the one decision feedback policy described previously and the two information feedback policy described herein can have the desired high-reliability fail-safe properties. The...

Topics: DTIC Archive, METZNER, J J, NEW YORK UNIV NY COLL OF ENGINEERING, *COMPUTER LOGIC, *ERRORS,...

We describe a sound method for permitting the users of a mechanical theorem-proving system to add executable code to the system, thereby implementing a new proof strategy and modifying the behavior of the system. The new code is mechanically derived from a function definition conceived by the user but proved correct by the system before the new code is added. We present a simple formal method for stating within the theory of the system the correctness of such functions. The method avoids the...

Topics: DTIC Archive, Boyer,Robert S, SRI INTERNATIONAL MENLO PARK CA COMPUTER SCIENCE LAB, *MATHEMATICAL...

Topics: DTIC Archive, MATTSON, R L, LOCKHEED MISSILES AND SPACE CO INC SUNNYVALE CA, *STATISTICAL ANALYSIS,...

80
80

Oct 25, 2021
10/21

by
Hofstadter, Douglas R., 1945-

texts

#
eye 80

#
favorite 4

#
comment 0

xxi, 777 pages : 24 cm

Topics: Bach, Johann Sebastian, 1685-1750, Escher, M. C. (Maurits Cornelis), 1898-1972, Gödel, Kurt,...

857
857

May 22, 2012
05/12

by
Hofstadter, Douglas R., 1945-

texts

#
eye 857

#
favorite 47

#
comment 0

Reprint of the ed. published by Basic Books, New York

Topics: Bach, Johann Sebastian, 1685-1750, Escher, M. C. (Maurits Cornelis), 1898-1972, Gödel, Kurt,...

The rates of convergence of three stochastic approximation estimators are studied emperically using a Monte Carlo sampling procedure. The results are presented in tabular form and various conclusions are made as to the utility of each estimator in the light of these results.

Topics: DTIC Archive, Odell, Patrick L, NAVAL WEAPONS EVALUATION FACILITY ALBUQUERQUE NM, *MATHEMATICAL...

534
534

Jan 16, 2018
01/18

by
Hofstadter, Douglas R., 1945-

texts

#
eye 534

#
favorite 33

#
comment 0

Includes bibliographical references (pages 802-819) and index

Topics: Artificial intelligence, Intellect, Science, Metamathematics, Self (Philosophy), Amusements,...

80
80

Jul 14, 2021
07/21

by
Martin Gardner

texts

#
eye 80

#
favorite 1

#
comment 0

Mathematical Magic Show

Topics: Martin Gardner, Metamathematics

62
62

Jul 13, 2021
07/21

by
Martin Gardner

texts

#
eye 62

#
favorite 1

#
comment 0

Hexaflexagons And Other Mathematical Diversions

Topics: Martin Gardner, Metamathematics

73
73

Jul 13, 2021
07/21

by
Martin Gardner

texts

#
eye 73

#
favorite 1

#
comment 0

The Second Book Of Mathematical Puzzles And Diversions

Topics: Martin Gardner, Metamathematics

68
68

Jul 13, 2021
07/21

by
Martin Gardner

texts

#
eye 68

#
favorite 1

#
comment 0

New Mathematical Diversions

Topics: Martin Gardner, Metamathematics

62
62

Aug 2, 2021
08/21

by
Martin Gardner

texts

#
eye 62

#
favorite 1

#
comment 0

Martin Gardner - The Last Recreations

Topics: Martin Gardner, Metamathematics

88
88

Jul 14, 2021
07/21

by
Martin Gardner

texts

#
eye 88

#
favorite 1

#
comment 0

The Unexpected Hanging And Other Mathematical Diversions

Topics: Martin Gardner, metamathematics

59
59

Jul 14, 2021
07/21

by
Martin Gardner

texts

#
eye 59

#
favorite 1

#
comment 0

Mathematical Circus

Topics: Martin Gardner, Metamathematics

2
2.0

Sep 21, 2022
09/22

by
Tristan Jacob Miano

texts

#
eye 2

#
favorite 0

#
comment 0

P=NP Volume III

Topics: Mathematics, Physics, Philosophy, Metamathematics

0
0.0

Sep 18, 2022
09/22

by
Tristan Jacob Miano

texts

#
eye 0

#
favorite 0

#
comment 0

P = NP

Topics: Proofs, Mathematics, Philosophy, Metamathematics

2
2.0

Sep 21, 2022
09/22

by
Tristan Jacob Miano

texts

#
eye 2

#
favorite 0

#
comment 0

P = NP, Volume IV

Topics: Mathematics, Physics, Philosophy, Metamathematics

2
2.0

Sep 19, 2022
09/22

by
Tristan Jacob Miano

texts

#
eye 2

#
favorite 0

#
comment 0

P = NP, Volume I.

Topics: Mathematics, Physics, Philosophy, Metamathematics

9
9.0

Sep 19, 2022
09/22

by
Tristan Jacob Miano

image

#
eye 9

#
favorite 0

#
comment 0

P = NP page scans. PNG format. Contains several extra pages including portraits / drawings.

Topics: Mathematics, Physics, Philosophy, Metamathematics

4
4.0

Sep 22, 2022
09/22

by
Tristan Jacob Miano

texts

#
eye 4

#
favorite 0

#
comment 0

P=NP, Volume V

Topics: Mathematics, Physics, Philosophy, Metamathematics

8
8.0

Sep 20, 2022
09/22

by
Tristan Jacob Miano

texts

#
eye 8

#
favorite 0

#
comment 0

P=NP, Volume II

Topics: Mathematics, Physics, Philosophy, Metamathematics

66
66

Sep 8, 2015
09/15

by
Carey G. Butler

movies

#
eye 66

#
favorite 0

#
comment 0

This is the second video of a large series and the very first video in a mini-series about holons. In this series I will be building the vocabulary of holons which in turn will be used in my knowledge representations. The video following this one will go into greater detail describing what you see here and will be adding more to the vocabulary.

Topics: Knowledge Representation, Metamathematics, Metalogic, Metaphilosophy, Philosophy of Mind,...