Subwiki talk:Property-theoretic organization - Revision history

Jon Awbrey: /* Back in Town */ not sure why its giving me pacific daylight time ...

2010-06-10T01:24:23Z

Back in Town: not sure why its giving me pacific daylight time ...

← Older revision		Revision as of 01:24, 10 June 2010
Line 92:		Line 92:
	JA: To be continued …		JA: To be continued …

	===Back in Town===		===Back In Town===

	I was thinking I might include the Subject Ref Wiki in a trans-site project related to Logic that I've been developing. See the "focal nodes" [[Inquiry Live]] and [[Logic Live]] for an indication of what I'm trying to do. If you ever get around to creating a subject wiki for logic then the material could be moved there. [[User:Jon Awbrey\|Jon Awbrey]] 14:10, 9 June 2010 (PDT)		I was thinking I might include the Subject Ref Wiki in a trans-site project related to Logic that I've been developing. See the "focal nodes" [[Inquiry Live]] and [[Logic Live]] for an indication of what I'm trying to do. If you ever get around to creating a subject wiki for logic then the material could be moved there. [[User:Jon Awbrey\|Jon Awbrey]] 18:24, 9 June 2010 (PDT)

Jon Awbrey: /* Back in Town */

2010-06-09T21:10:08Z

Back in Town

← Older revision		Revision as of 21:10, 9 June 2010
Line 91:		Line 91:

	JA: To be continued …		JA: To be continued …

			===Back in Town===

			I was thinking I might include the Subject Ref Wiki in a trans-site project related to Logic that I've been developing. See the "focal nodes" [[Inquiry Live]] and [[Logic Live]] for an indication of what I'm trying to do. If you ever get around to creating a subject wiki for logic then the material could be moved there. [[User:Jon Awbrey\|Jon Awbrey]] 14:10, 9 June 2010 (PDT)

Jon Awbrey: /* Scope and Purpose of a Logic Wiki */

2009-03-31T14:02:34Z

Scope and Purpose of a Logic Wiki

← Older revision		Revision as of 14:02, 31 March 2009
Line 81:		Line 81:

	JA: Lunch''!'' Back later … [[User:Jon Awbrey\|Jon Awbrey]] 16:02, 16 March 2009 (UTC)		JA: Lunch''!'' Back later … [[User:Jon Awbrey\|Jon Awbrey]] 16:02, 16 March 2009 (UTC)

			JA: Just passing through. Currently reviving some old work I did on the Propositions As Types Analogy, located here:

			:* [http://www.mywikibiz.com/Directory:Jon_Awbrey/Papers/Propositions_As_Types Propositions As Types]

	===Narrative Memoir===		===Narrative Memoir===

Jon Awbrey: /* Scope and Purpose of a Logic Wiki */ link label

2009-03-21T14:32:09Z

Scope and Purpose of a Logic Wiki: link label

← Older revision		Revision as of 14:32, 21 March 2009
Line 74:		Line 74:
	VN: Regarding a specific logic wiki, it seems to me that logic is an extremely big subject. Your comments and past writings give me the impression that you're interested more in the proof theory/proof calculus part of the subject. I'm assuming you're not interested so much in the model theory side of things. Okay, so how about calling it a proof theory wiki or something like that? Of course, I might be misunderstanding the scope, so more clarification from you is welcome. I'm also not sure how Neumaier's automated research assistant connects up with the content of the proposed wiki. Are you sugesting that FMathL's ideas be used to organize the wiki, or that the wiki contain information about FMathL? [[User:Vipul\|Vipul]] 23:54, 11 March 2009 (UTC)		VN: Regarding a specific logic wiki, it seems to me that logic is an extremely big subject. Your comments and past writings give me the impression that you're interested more in the proof theory/proof calculus part of the subject. I'm assuming you're not interested so much in the model theory side of things. Okay, so how about calling it a proof theory wiki or something like that? Of course, I might be misunderstanding the scope, so more clarification from you is welcome. I'm also not sure how Neumaier's automated research assistant connects up with the content of the proposed wiki. Are you sugesting that FMathL's ideas be used to organize the wiki, or that the wiki contain information about FMathL? [[User:Vipul\|Vipul]] 23:54, 11 March 2009 (UTC)

	JA: First time I've stopped by this way in a while. It will take me a while longer to work up the concrete example that I had in mind, which is currently in progress [http://www.mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Analytic_Turing_Automata ~~here~~].		JA: First time I've stopped by this way in a while. It will take me a while longer to work up the concrete example that I had in mind, which is currently in progress here:

			:* [http://www.mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Analytic_Turing_Automata Differential Analytic Turing Automata (DATA)].

	JA: I will have to leave the whole of logic to others. The most I can hope to do with my time here is maybe to grease the wheels of our practical vehicles at critical points.		JA: I will have to leave the whole of logic to others. The most I can hope to do with my time here is maybe to grease the wheels of our practical vehicles at critical points.

Jon Awbrey: /* Narrative Memoir */ phrasing

2009-03-16T20:24:13Z

Narrative Memoir: phrasing

← Older revision		Revision as of 20:24, 16 March 2009
Line 82:		Line 82:
	===Narrative Memoir===		===Narrative Memoir===

	JA: I thought it might help to switch from didactic to personal narrative. Recent discussions on various lists reminded of why I first started work on "automatic theorem proving" (ATM) or "mechanized mathematical reasoning", as they called it back then. I had long been interested in the interplay between algebra, geometry, and logic — what one of my professors later called "the lambda point" — and when I started grad school in math in the late 70's this interest congealed into a study of the linkages between group theory, number theory, graph theory, and logic. On the graph theory face of it I got bitten by the Reconstruction Conjecture bug and eventually worked out a group-theoretic (orbit counting) way of looking at the problem. But it was all getting to be a bit too much for my unaided brain, and so one of my office-mates suggested that I try ~~to bring~~ the mainframe to bear on it. I was more than hesitant at first, but had been taking courses in Lisp, so I eventually said <math>y_0?\!</math> and went to work on trying to write a theorem prover. [[User:Jon Awbrey\|Jon Awbrey]] 20:16, 16 March 2009 (UTC)		JA: I thought it might help to switch from didactic to personal narrative. Recent discussions on various lists reminded of why I first started work on "automatic theorem proving" (ATM) or "mechanized mathematical reasoning", as they called it back then. I had long been interested in the interplay between algebra, geometry, and logic — what one of my professors later called "the lambda point" — and when I started grad school in math in the late 70's this interest congealed into a study of the linkages between group theory, number theory, graph theory, and logic. On the graph theory face of it I got bitten by the Reconstruction Conjecture bug and eventually worked out a group-theoretic (orbit counting) way of looking at the problem. But it was all getting to be a bit too much for my unaided brain, and so one of my office-mates suggested that I try bringing the mainframe to bear on it. I was more than hesitant at first, but had been taking courses in Lisp, so I eventually said <math>y_0?\!</math> and went to work on trying to write a theorem prover. [[User:Jon Awbrey\|Jon Awbrey]] 20:16, 16 March 2009 (UTC)

	JA: To be continued …		JA: To be continued …

Jon Awbrey: /* Narrative Memoir */ to be continued ...

2009-03-16T20:22:44Z

Narrative Memoir: to be continued ...

← Older revision		Revision as of 20:22, 16 March 2009
Line 82:		Line 82:
	===Narrative Memoir===		===Narrative Memoir===

	JA: I thought it might help to switch from didactic to personal narrative. Recent discussions on various lists reminded of why I first started work on "automatic theorem proving" (ATM) or "mechanized mathematical reasoning", as they called it back then. I had long been interested in the interplay between algebra, geometry, and logic — what one of my professors later called "the lambda point" — and when I started grad school in math in the late 70's this interest congealed into a study of the linkages between group theory, number theory, graph theory, and logic. On the graph theory face of it I got bitten by the Reconstruction Conjecture bug and eventually worked out a group-theoretic (orbit counting) way of looking at it. But it was all getting to be a bit too much for my unaided brain, and so one of my office-mates suggested that I try to bring the mainframe to bear on it. I was more than hesitant at first, but had been taking courses in Lisp, so I eventually said <math>y_0?\!</math> and went to work on trying to write a theorem prover. [[User:Jon Awbrey\|Jon Awbrey]] 20:16, 16 March 2009 (UTC)		JA: I thought it might help to switch from didactic to personal narrative. Recent discussions on various lists reminded of why I first started work on "automatic theorem proving" (ATM) or "mechanized mathematical reasoning", as they called it back then. I had long been interested in the interplay between algebra, geometry, and logic — what one of my professors later called "the lambda point" — and when I started grad school in math in the late 70's this interest congealed into a study of the linkages between group theory, number theory, graph theory, and logic. On the graph theory face of it I got bitten by the Reconstruction Conjecture bug and eventually worked out a group-theoretic (orbit counting) way of looking at the problem. But it was all getting to be a bit too much for my unaided brain, and so one of my office-mates suggested that I try to bring the mainframe to bear on it. I was more than hesitant at first, but had been taking courses in Lisp, so I eventually said <math>y_0?\!</math> and went to work on trying to write a theorem prover. [[User:Jon Awbrey\|Jon Awbrey]] 20:16, 16 March 2009 (UTC)

			JA: To be continued …

Jon Awbrey: /* Prospects for a Logic Wiki */ anamnesis

2009-03-16T20:16:28Z

Prospects for a Logic Wiki: anamnesis

← Older revision		Revision as of 20:16, 16 March 2009
Line 79:		Line 79:

	JA: Lunch''!'' Back later … [[User:Jon Awbrey\|Jon Awbrey]] 16:02, 16 March 2009 (UTC)		JA: Lunch''!'' Back later … [[User:Jon Awbrey\|Jon Awbrey]] 16:02, 16 March 2009 (UTC)

			===Narrative Memoir===

			JA: I thought it might help to switch from didactic to personal narrative. Recent discussions on various lists reminded of why I first started work on "automatic theorem proving" (ATM) or "mechanized mathematical reasoning", as they called it back then. I had long been interested in the interplay between algebra, geometry, and logic — what one of my professors later called "the lambda point" — and when I started grad school in math in the late 70's this interest congealed into a study of the linkages between group theory, number theory, graph theory, and logic. On the graph theory face of it I got bitten by the Reconstruction Conjecture bug and eventually worked out a group-theoretic (orbit counting) way of looking at it. But it was all getting to be a bit too much for my unaided brain, and so one of my office-mates suggested that I try to bring the mainframe to bear on it. I was more than hesitant at first, but had been taking courses in Lisp, so I eventually said <math>y_0?\!</math> and went to work on trying to write a theorem prover. [[User:Jon Awbrey\|Jon Awbrey]] 20:16, 16 March 2009 (UTC)

Jon Awbrey: /* Scope and Purpose of a Logic Wiki */ forgot sig

2009-03-16T16:02:24Z

Scope and Purpose of a Logic Wiki: forgot sig

← Older revision		Revision as of 16:02, 16 March 2009
Line 78:		Line 78:
	JA: I will have to leave the whole of logic to others. The most I can hope to do with my time here is maybe to grease the wheels of our practical vehicles at critical points.		JA: I will have to leave the whole of logic to others. The most I can hope to do with my time here is maybe to grease the wheels of our practical vehicles at critical points.

	JA: Lunch''!'' Back later …		JA: Lunch''!'' Back later … [[User:Jon Awbrey\|Jon Awbrey]] 16:02, 16 March 2009 (UTC)

Jon Awbrey: /* Scope and Purpose of a Logic Wiki */

2009-03-16T15:59:39Z

Scope and Purpose of a Logic Wiki

← Older revision		Revision as of 15:59, 16 March 2009
Line 74:		Line 74:
	VN: Regarding a specific logic wiki, it seems to me that logic is an extremely big subject. Your comments and past writings give me the impression that you're interested more in the proof theory/proof calculus part of the subject. I'm assuming you're not interested so much in the model theory side of things. Okay, so how about calling it a proof theory wiki or something like that? Of course, I might be misunderstanding the scope, so more clarification from you is welcome. I'm also not sure how Neumaier's automated research assistant connects up with the content of the proposed wiki. Are you sugesting that FMathL's ideas be used to organize the wiki, or that the wiki contain information about FMathL? [[User:Vipul\|Vipul]] 23:54, 11 March 2009 (UTC)		VN: Regarding a specific logic wiki, it seems to me that logic is an extremely big subject. Your comments and past writings give me the impression that you're interested more in the proof theory/proof calculus part of the subject. I'm assuming you're not interested so much in the model theory side of things. Okay, so how about calling it a proof theory wiki or something like that? Of course, I might be misunderstanding the scope, so more clarification from you is welcome. I'm also not sure how Neumaier's automated research assistant connects up with the content of the proposed wiki. Are you sugesting that FMathL's ideas be used to organize the wiki, or that the wiki contain information about FMathL? [[User:Vipul\|Vipul]] 23:54, 11 March 2009 (UTC)

	JA: First time I've stopped by this way in a while. It will take me a while longer to work up the concrete example that I had in mind, which is currently in progress [http://www.mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Analytic_Turing_Automata\|here].		JA: First time I've stopped by this way in a while. It will take me a while longer to work up the concrete example that I had in mind, which is currently in progress [http://www.mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Analytic_Turing_Automata here].

	JA: I will have to leave the whole of logic to others. The most I can hope to do with my time here is maybe to grease the wheels of our practical vehicles at critical points.		JA: I will have to leave the whole of logic to others. The most I can hope to do with my time here is maybe to grease the wheels of our practical vehicles at critical points.

	JA: Lunch''!'' Back later …		JA: Lunch''!'' Back later …

Jon Awbrey: /* Scope and Purpose of a Logic Wiki */

2009-03-16T15:58:58Z

Scope and Purpose of a Logic Wiki

← Older revision		Revision as of 15:58, 16 March 2009
Line 65:		Line 65:
	: Here's a project that looks interesting in this connection —		: Here's a project that looks interesting in this connection —
	:: [http://www.mat.univie.ac.at/~neum/FMathL.html Arnold Neumaier : Automated Mathematical Research Assistant]		:: [http://www.mat.univie.ac.at/~neum/FMathL.html Arnold Neumaier : Automated Mathematical Research Assistant]
	: VN: Jon, that certainly looks interesting. Thanks for the link. [[User:Vipul\|Vipul]] 15:57, 7 March 2009 (UTC)
	: VN: I think the discussion has two parallel tracks here: what a logic wiki should contain and what logical paradigms can be used efficiently to organize content in all subject wikis (may be you're talking of only one of these right now).		VN: Jon, that certainly looks interesting. Thanks for the link. [[User:Vipul\|Vipul]] 15:57, 7 March 2009 (UTC)
	: VN: Regarding the organization of content across subject wikis. I had a quick look at the FMathL link. From what I can figure out, this is interesting, but still preliminary. What I'm interested in right now is something actionable that I can use to make the definitions and proofs easier and quicker to understand, easier to link to, etc. I'm sure projects such as FMathL can give some useful ideas in that connection, so I'd be glad to hear what ideas you've extracted from there. I [http://blog.subwiki.org/?p=25 wrote a recent blog post] describing some of the issues that I'm thinking about, or rather, the place I'm starting from.
	: VN: Regarding a specific logic wiki, it seems to me that logic is an extremely big subject. Your comments and past writings give me the impression that you're interested more in the proof theory/proof calculus part of the subject. I'm assuming you're not interested so much in the model theory side of things. Okay, so how about calling it a proof theory wiki or something like that? Of course, I might be misunderstanding the scope, so more clarification from you is welcome. I'm also not sure how Neumaier's automated research assistant connects up with the content of the proposed wiki. Are you sugesting that FMathL's ideas be used to organize the wiki, or that the wiki contain information about FMathL? [[User:Vipul\|Vipul]] 23:54, 11 March 2009 (UTC)		VN: I think the discussion has two parallel tracks here: what a logic wiki should contain and what logical paradigms can be used efficiently to organize content in all subject wikis (may be you're talking of only one of these right now).

			VN: Regarding the organization of content across subject wikis. I had a quick look at the FMathL link. From what I can figure out, this is interesting, but still preliminary. What I'm interested in right now is something actionable that I can use to make the definitions and proofs easier and quicker to understand, easier to link to, etc. I'm sure projects such as FMathL can give some useful ideas in that connection, so I'd be glad to hear what ideas you've extracted from there. I [http://blog.subwiki.org/?p=25 wrote a recent blog post] describing some of the issues that I'm thinking about, or rather, the place I'm starting from.

			VN: Regarding a specific logic wiki, it seems to me that logic is an extremely big subject. Your comments and past writings give me the impression that you're interested more in the proof theory/proof calculus part of the subject. I'm assuming you're not interested so much in the model theory side of things. Okay, so how about calling it a proof theory wiki or something like that? Of course, I might be misunderstanding the scope, so more clarification from you is welcome. I'm also not sure how Neumaier's automated research assistant connects up with the content of the proposed wiki. Are you sugesting that FMathL's ideas be used to organize the wiki, or that the wiki contain information about FMathL? [[User:Vipul\|Vipul]] 23:54, 11 March 2009 (UTC)

			JA: First time I've stopped by this way in a while. It will take me a while longer to work up the concrete example that I had in mind, which is currently in progress [http://www.mywikibiz.com/Directory:Jon_Awbrey/Papers/Differential_Analytic_Turing_Automata\|here].

			JA: I will have to leave the whole of logic to others. The most I can hope to do with my time here is maybe to grease the wheels of our practical vehicles at critical points.

			JA: Lunch''!'' Back later …