Groups
Conversations
All groups and messages
Send feedback to Google
Help
Training
Sign in
Groups
vdash
Conversations
About
vdash
Contact owners and managers
1–20 of 20
Mark all as read
Report 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
Search
Clear search
Close search
Google apps
Main menu