An exploration of the partial respects in which an axiom system recognizing solely addition as a total function can verify its own consistency



Predicate retrieval theory

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000134050 / 1983-08-15
Date of Creation:
1983
Title:
Predicate retrieval theory / by Dan E. Willard.
Description:
1 v.
Copyright Claimant:
Dan E. Willard
Names:
Dan E. Willard 1948-

Multi-dimensional retrieval problems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000146831 / 1983-12-29
Date of Creation:
1983
Title:
Multi-dimensional retrieval problems / Dan E. Willard.
Application Title:
Multi-dimensional retrieval algorithms.
Description:
64 p.
Copyright Claimant:
Dan E. Willard
Names:
Dan E. Willard 1948-

Non-standard perspectives on complexity

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000194951 / 1985-04-25
Date of Creation:
1985
Title:
Non-standard perspectives on complexity.
Copyright Claimant:
Dan E. Willard
Notes:
Cataloged from appl. only.
Authorship on Application:
entire text: Dan E. Willard.
Names:
Dan E. Willard 1948-

A Collection of circular greeting cards

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000465672 / 1991-04-02
Date of Creation:
1991
Title:
A Collection of circular greeting cards / by Dan Edward Willard.
Copyright Claimant:
Dan E. Willard
Names:
Dan Edward Willard 1948-

A Few more circular love notes

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000478316 / 1991-06-21
Date of Creation:
1991
Title:
A Few more circular love notes / by Dan Edward Willard.
Application Title:
A Collection of circular--love notes.
Basis of Claim:
New Matter: "revised version of poems."
Previous Registration:
Prev. reg.
Copyright Claimant:
Dan E. Willard
Names:
Dan Edward Willard 1948-

A Large collection of circular love poems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000479401 / 1991-06-27
Date of Creation:
1991
Title:
A Large collection of circular love poems / by Dan Edward Willard.
Basis of Claim:
New Matter: revisions & additions.
Previous Registration:
Prev. reg. 1991, TXu 465-672.
Description:
1 v.
Copyright Claimant:
Dan E. Willard
Names:
Dan Edward Willard 1948-

Fritz

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000512022 / 1992-03-16
Date of Creation:
1992
Title:
Fritz.
Copyright Claimant:
Dan E. Willard, 1948-
Notes:
Short story.
Names:
Dan E. Willard 1948-

Self-justifying recursive axiom systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000539881 / 1992-09-22
Date of Creation:
1992
Title:
Self-justifying recursive axiom systems.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

Consistency theory

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000539911 / 1992-10-02
Date of Creation:
1992
Title:
Consistency theory.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

Applications of IS(A) logic to Delta Sentences

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000539963 / 1992-10-13
Date of Creation:
1992
Title:
Applications of IS(A) logic to Delta Sentences.
Copyright Claimant:
Dan E. Willard
Names:
Dan E. Willard (29 documents)
example document: Reaching beyond the second incompleteness theorem

Copyrights records by Willard, Dan E.

Implications of extended semantic tableaux analysis

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000540051 / 1992-10-04
Date of Creation:
1992
Title:
Implications of extended semantic tableaux analysis.
Application Title:
Implications of semantic tableaux analysis.
Copyright Claimant:
Dan E. Willard
Names:
Dan E. Willard (29 documents)
example document: Reaching beyond the second incompleteness theorem

Computer formations with automated introspective features

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000547244 / 1992-12-03
Date of Creation:
1992
Title:
Computer formations with automated introspective features.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

Two greeting cards

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000568451 / 1993-05-17
Date of Creation:
1993
Title:
Two greeting cards.
Description:
1 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

The philosophical implications of self-confirming mathematical fromalisms

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000579541 / 1993-08-02
Date of Creation:
1993
Title:
The philosophical implications of self-confirming mathematical fromalisms.
Description:
41 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

Telephone answer machine letters

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000589422 / 1994-07-06
Date of Creation:
1994
Title:
Telephone answer machine letters.
Description:
9 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

CO-NP does not equal NP does not equal P

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000632373 / 1994-05-23
Date of Creation:
1994
Title:
CO-NP does not equal NP does not equal P.
Description:
3 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

The game plan

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000635011 / 1994-05-25
Date of Creation:
1994
Title:
The game plan.
Description:
5 p.
Number of similar titles:
13
Similar Title:
The game plan
Copyright Claimant:
Dan E. Willard, 1948-
Notes:
Mathematical text.
Names:
Dan E. Willard 1948-

The tunnel connection theorems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000636736 / 1995-07-11
Date of Creation:
1995
Title:
The tunnel connection theorems.
Description:
13 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

A semi-proof of the ISIT theorem

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000640196 / 1995-04-07
Date of Creation:
1995
Title:
A semi-proof of the ISIT theorem.
Description:
15 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

Math notes on D-Day

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000645371 / 1994-05-27
Date of Creation:
1994
Title:
Math notes on D-Day.
Description:
19 p.
Copyright Claimant:
Dan E. Willard
Names:
Dan E. Willard (29 documents)
example document: Reaching beyond the second incompleteness theorem

A simulation argument proving P [not equal to] NP

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000651935 / 1994-10-18
Date of Creation:
1994
Title:
A simulation argument proving P [not equal to] NP.
Description:
3 p.
Copyright Claimant:
Dan E. Willard, 1948-
Performer:
Words "not equal to" represented by a symbol.
Names:
Dan E. Willard 1948-

Self-smarting formal axiom systems

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000663727 / 1994-12-12
Date of Creation:
1994
Title:
Self-smarting formal axiom systems.
Description:
1 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

Thoughts about the nature of thinking about thinking

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000676752 / 1995-02-21
Date of Creation:
1995
Title:
Thoughts about the nature of thinking about thinking.
Description:
2 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

Is Irena really ISIREN(A)?

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000678822 / 1995-03-01
Date of Creation:
1995
Title:
Is Irena really ISIREN(A)?
Description:
9 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

The mathematical end of winter

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000678986 / 1995-03-24
Date of Creation:
1995
Title:
The mathematical end of winter.
Description:
10 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

A possible solution to Hilbert's open question

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000687532 / 1995-04-19
Date of Creation:
1995
Title:
A possible solution to Hilbert's open question.
Description:
20 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

The structure of NP and Godel's incompleteness theorem

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000695427 / 1995-07-17
Date of Creation:
1995
Title:
The structure of NP and Godel's incompleteness theorem.
Description:
13 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

If Frank Zappa was alive, he would love NP

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000697338 / 1995-07-28
Date of Creation:
1995
Title:
If Frank Zappa was alive, he would love NP.
Description:
25 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

The Epa-axiomatic analysis

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000699045 / 1995-08-08
Date of Creation:
1995
Title:
The Epa-axiomatic analysis.
Description:
26 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-

Self-verifying axiom systems and the "invisible distinctions."

Type of Work:
Non-dramatic literary work
Registration Number / Date:
TXu000721936 / 1996-02-28
Date of Creation:
1996
Title:
Self-verifying axiom systems and the "invisible distinctions."
Description:
30 p.
Copyright Claimant:
Dan E. Willard, 1948-
Names:
Dan E. Willard 1948-
This website is not affiliated with document authors or copyright owners. This page is provided for informational purposes only. Unintentional errors are possible. Multiple persons can share the same name.