Groups
Conversations
All groups and messages
Send feedback to Google
Help
Sign in
Groups
vdash
Conversations
About
vdash
1–20 of 20
Mark all as read
Report abusive group
0 selected
Int. J. Appl. Mathematics & Statistics IJAMAS
6/29/09
Self nominations for Editor: International Journal of Mathematics & Statistics
Self nominations for Editor: International Journal of Mathematics & Statistics --------------
unread,
Self nominations for Editor: International Journal of Mathematics & Statistics
Self nominations for Editor: International Journal of Mathematics & Statistics --------------
6/29/09
herman geuvers
3/18/09
1 POSTDOC and 1 PHD POSITION in the MathWiki project (Radboud University Nijmegen, NL)
1 POSTDOC and 1 PHD POSITION in the MathWiki project at Radboud University Nijmegen (NL) http://www.
unread,
1 POSTDOC and 1 PHD POSITION in the MathWiki project (Radboud University Nijmegen, NL)
1 POSTDOC and 1 PHD POSITION in the MathWiki project at Radboud University Nijmegen (NL) http://www.
3/18/09
Victor Porton
,
Slawomir Kolodynski
2
3/6/09
Arithmetic calculations in ZF
> How I should prove "1 + 1 = 2" theorem? > Look at Arith.thy in the standard library
unread,
Arithmetic calculations in ZF
> How I should prove "1 + 1 = 2" theorem? > Look at Arith.thy in the standard library
3/6/09
Victor Porton
,
Slawomir Kolodynski
2
3/6/09
Locales don't work
You want something like this: theory embedding imports Nat_ZF begin locale embedding = fixes big and
unread,
Locales don't work
You want something like this: theory embedding imports Nat_ZF begin locale embedding = fixes big and
3/6/09
Victor Porton
,
Slawomir Kolodynski
2
3/6/09
Ordered pairs
This is the definition of ordered pair in ZF.thy: (* this "symmetric" definition works
unread,
Ordered pairs
This is the definition of ordered pair in ZF.thy: (* this "symmetric" definition works
3/6/09
Victor Porton
,
Slawomir Kolodynski
2
3/6/09
THE vs. SOME
Indeed, it looks like SOME is not supported in Isabelle/ZF. You may want to make sure by asking on
unread,
THE vs. SOME
Indeed, it looks like SOME is not supported in Isabelle/ZF. You may want to make sure by asking on
3/6/09
Victor Porton
, …
slawekk
5
2/24/09
Definition by existence
> > I want something similar to "obtain" but in definitions (outside of proofs). If
unread,
Definition by existence
> > I want something similar to "obtain" but in definitions (outside of proofs). If
2/24/09
Victor Porton
, …
slawekk
3
2/24/09
Preparing proofs for the wiki
> Does Proof General works with structured Isar proofs Yes.
unread,
Preparing proofs for the wiki
> Does Proof General works with structured Isar proofs Yes.
2/24/09
Victor Porton
,
Slawomir Kolodynski
3
2/23/09
Overloading in ZF?
I sent the previous message too early. The example should look like this: theory example imports
unread,
Overloading in ZF?
I sent the previous message too early. The example should look like this: theory example imports
2/23/09
Victor Porton
,
slawekk
7
2/23/09
How to study Isabelle/ZF?
> Is it possible to define new datatypes in Isabelle/ZF? Will it work smoothly? It is possible,
unread,
How to study Isabelle/ZF?
> Is it possible to define new datatypes in Isabelle/ZF? Will it work smoothly? It is possible,
2/23/09
ceserpub...@gmail.com
2/8/09
Call for Papers: International Journal of Mathematics and Computation (IJMC).
Call for Papers: International Journal of Mathematics and Computation (IJMC). International Journal
unread,
Call for Papers: International Journal of Mathematics and Computation (IJMC).
Call for Papers: International Journal of Mathematics and Computation (IJMC). International Journal
2/8/09
virtual
, …
Matthew Wampler-Doty
4
11/22/08
Some suggestions...
Hi! I'm a MSc of Logic student there at the ILLC in Amsterdam. I'm also here because of
unread,
Some suggestions...
Hi! I'm a MSc of Logic student there at the ILLC in Amsterdam. I'm also here because of
11/22/08
Cameron Freer
,
Larry Freeman
2
11/19/08
Isabelle talk this Friday by Christian Urban
Hi Cameron, This sounds great. I live on the West Coast. Is there any chance that this will be video
unread,
Isabelle talk this Friday by Christian Urban
Hi Cameron, This sounds great. I live on the West Coast. Is there any chance that this will be video
11/19/08
Ulrik Buchholtz
, …
Cameron Freer
15
11/16/08
Status?
On Tue, 30 Sep 2008, Ulrik Buchholtz wrote: > Can people start contributing code to the backend,
unread,
Status?
On Tue, 30 Sep 2008, Ulrik Buchholtz wrote: > Can people start contributing code to the backend,
11/16/08
Marty
, …
nrolland
6
10/20/08
Another semantic math wiki..
Hi Marty, The point is that if a system can do formal substitution and navigate up and down a level
unread,
Another semantic math wiki..
Hi Marty, The point is that if a system can do formal substitution and navigate up and down a level
10/20/08
Robin Green
,
Slawomir Kolodynski
2
10/19/08
Is a wiki the most appropriate system for a professional math repository?
> My current thinking on wikis for repositories of formalisations is that wikis can be great for
unread,
Is a wiki the most appropriate system for a professional math repository?
> My current thinking on wikis for repositories of formalisations is that wikis can be great for
10/19/08
Mike K
, …
Slawomir Kolodynski
15
10/15/08
Current Design Choices
> Does it make sense to do this over PGIP (like the Isabelle > server > to which you linked)
unread,
Current Design Choices
> Does it make sense to do this over PGIP (like the Isabelle > server > to which you linked)
10/15/08
geu...@gmail.com
,
Cameron Freer
2
10/10/08
MathWiki initiatives in Europe
On Fri, 10 Oct 2008, geu...@gmail.com wrote: > > A very interesting project vdash! > A very
unread,
MathWiki initiatives in Europe
On Fri, 10 Oct 2008, geu...@gmail.com wrote: > > A very interesting project vdash! > A very
10/10/08
slawekk
, …
Hendrik Boom
5
10/9/08
foundation
> (2) I haven't seen any really foundational category theory. Is there > any? Category
unread,
foundation
> (2) I haven't seen any really foundational category theory. Is there > any? Category
10/9/08
drevicko
10/1/08
SWiM - A wiki with similar intent
Hi there, There's another wiki system being developed with similar intent: http://www.kwarc.info/
unread,
SWiM - A wiki with similar intent
Hi there, There's another wiki system being developed with similar intent: http://www.kwarc.info/
10/1/08